Hello,

A merge request was applied that contained a merge commit and a decision was
taken to correct this in the git repo. This means the history has been
rewritten. Please check your forks or clones if you have updated and pulled in
the merge commit.

We are looking into getting GitLab to flag this and block this from happening.

Thanks
Chris
_______________________________________________
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users

Reply via email to