On 2020-02-13 17:42 -0500, Peter Dufault wrote:
>
> Can you explain this to those of us who are part-time git users?
> I pulled during this time frame, so I must "re-clone" or do a "forced push
> back".
See below.
> I assume "re-clone" means I "rm -rf" a local repository and, well, "re-clone".
>
> On Feb 13, 2020, at 11:55 , Gedare Bloom wrote:
>
> Hello everyone,
>
> Due to some unfortunate mishap, the rtems.git repository needs to be
> rolled back. Anyone who pulled/cloned it since February 12 will be
> impacted, and probably need to re-clone. Most likely, this is going to
> involve
Hello everyone,
Due to some unfortunate mishap, the rtems.git repository needs to be
rolled back. Anyone who pulled/cloned it since February 12 will be
impacted, and probably need to re-clone. Most likely, this is going to
involve a forced push back to commit
d252e20ab5717afea2ac89543ab4e0d379434b
