RTOS/RTEMS (rtems.git) history write

Chris Johns chrisj at rtems.org
Tue May 7 05:02:13 UTC 2024


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


More information about the devel mailing list