RTOS/RTEMS (rtems.git) history rewrite

Chris Johns <[email protected]> Tue, 7 May 2024 15:02:38 +1000

Newsgroups	gmane.os.rtems.user
Organization	https://www.rtems.org/
Message-ID	<[email protected]>

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