HEADS UP: git repo WRONG push landed.

[Karel Gardas]

   Dear RTEMS users,

if you are using RTEMS git repo, please do not pull now. Wrong patches 
landed in the main RTEMS git.rtems.org and they needs to be removed.

Thanks for your patience!
Karel


-------- Forwarded Message --------
Subject: HEADS UP: git repo WRONG push landed.
Date: Tue, 18 Jul 2023 15:40:11 +0200
From: Karel Gardas <karel at functional.vision>
To: rtems-devel at rtems.org <rtems-devel at rtems.org>


   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