HEADS UP: git repo WRONG push landed.

[Karel Gardas]

Follow-up:

Amar decided to fix that properly. It'll take some time for which I 
personally apologize and thank you Amar for dealing with this!

Thanks,
Karel

On 7/18/23 15:40, Karel Gardas wrote:
> 
>    Folks,
> 
> I've completely screwed up and pushed wrong repository to the 
> git.rtems.org.
> 
> I don't know how that happen as this should land on github.com...
> 
> So please do not commit anything for now, I'll try to lookup help on 
> discord.com and see what can be done to unpush...
> 
> Thanks and really sorry for this mess...
> 
> Karel
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel