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 _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
