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@functional.vision>
To: rtems-de...@rtems.org <rtems-de...@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
de...@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
_______________________________________________
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users
