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