The easiest way to do this is to revert and push. 'unpushing' is not recommended :-)
Brett ________________________________ From: users <[email protected]> on behalf of Karel Gardas <[email protected]> Sent: Tuesday, July 18, 2023 7:58 AM To: [email protected] <[email protected]> Subject: HEADS UP: git repo WRONG push landed. [You don't often get email from [email protected]. Learn why this is important at https://aka.ms/LearnAboutSenderIdentification ] CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe. 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 <[email protected]> To: [email protected] <[email protected]> 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 [email protected] https://usg02.safelinks.protection.office365.us/?url=http%3A%2F%2Flists.rtems.org%2Fmailman%2Flistinfo%2Fdevel&data=05%7C01%7C%7Cdf082186a2e94e7469a508db87972228%7Cd761ffacf6be45b88f6f288a59577095%7C0%7C0%7C638252855427392820%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=KaysoMVjUZ3z52kLfaNS1xmwbdN5Y3YmOQLPiYCUHlI%3D&reserved=0 _______________________________________________ users mailing list [email protected] https://usg02.safelinks.protection.office365.us/?url=http%3A%2F%2Flists.rtems.org%2Fmailman%2Flistinfo%2Fusers&data=05%7C01%7C%7Cdf082186a2e94e7469a508db87972228%7Cd761ffacf6be45b88f6f288a59577095%7C0%7C0%7C638252855427392820%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=hcdP78m3VZM%2BhIPEluZSxF45bbuMfkuWqBGByQxtMSs%3D&reserved=0
_______________________________________________ users mailing list [email protected] http://lists.rtems.org/mailman/listinfo/users
