On 18.07.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...
Maybe check your configuration for this option:
https://git-scm.com/docs/git-config#Documentation/git-config.txt-pushdefault
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...
Don't worry, you are not the first one causing such an issue ;-)
I think we should revert the history on the master with a forced push.
--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.hu...@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax: +49-89-18 94 741 - 08
Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
