On 19.07.23 04:30, Gedare Bloom wrote:
I had a local copy of the two commits that were dropped during the
rewinding. I have pushed them back. We are back to the state prior to
the accidental push. Hashes all look good. Thanks for handling this.
Thanks, looks good.
--
embedded brains GmbH
Herr
I had a local copy of the two commits that were dropped during the
rewinding. I have pushed them back. We are back to the state prior to
the accidental push. Hashes all look good. Thanks for handling this.
Gedare
On Tue, Jul 18, 2023 at 7:55 PM Amar Takhar wrote:
>
> There was a mistaken push to
There was a mistaken push to the RTEMS main repository earlier. These things
happen so we have rewound the repository back to the latest safe commit.
This is 1425735.
If anyone did checkout the repository afterwards they will get an error when
trying to update as the repository has been rewoun
