Re: HEADS UP: git repo WRONG push landed.

2023-07-18 Thread Chris Johns
Amar as edited the repo. You can read his post here ..

https://lists.rtems.org/pipermail/devel/2023-July/075819.html

Chris

On 19/7/2023 12:13 am, Brett Sterling wrote:
> The easiest way to do this is to revert and push.  'unpushing' is not
> recommended :-)
> 
> Brett
> 
> *From:* users  on behalf of Karel Gardas
> 
> *Sent:* Tuesday, July 18, 2023 7:58 AM
> *To:* users@rtems.org 
> *Subject:* HEADS UP: git repo WRONG push landed.
>  
> [You don't often get email from karel.gar...@centrum.cz. 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 
> To: 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
> https://usg02.safelinks.protection.office365.us/?url=http%3A%2F%2Flists.rtems.org%2Fmailman%2Flistinfo%2Fdevel=05%7C01%7C%7Cdf082186a2e94e7469a508db87972228%7Cd761ffacf6be45b88f6f288a59577095%7C0%7C0%7C638252855427392820%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C=KaysoMVjUZ3z52kLfaNS1xmwbdN5Y3YmOQLPiYCUHlI%3D=0
>  
> 
> ___
> users mailing list
> users@rtems.org
> https://usg02.safelinks.protection.office365.us/?url=http%3A%2F%2Flists.rtems.org%2Fmailman%2Flistinfo%2Fusers=05%7C01%7C%7Cdf082186a2e94e7469a508db87972228%7Cd761ffacf6be45b88f6f288a59577095%7C0%7C0%7C638252855427392820%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C=hcdP78m3VZM%2BhIPEluZSxF45bbuMfkuWqBGByQxtMSs%3D=0
>  
> 
> 
> ___
> users mailing list
> users@rtems.org
> http://lists.rtems.org/mailman/listinfo/users
___
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users

Re: HEADS UP: git repo WRONG push landed.

2023-07-18 Thread Brett Sterling
The easiest way to do this is to revert and push.  'unpushing' is not 
recommended :-)

Brett

From: users  on behalf of Karel Gardas 

Sent: Tuesday, July 18, 2023 7:58 AM
To: users@rtems.org 
Subject: HEADS UP: git repo WRONG push landed.

[You don't often get email from karel.gar...@centrum.cz. 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 
To: 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
https://usg02.safelinks.protection.office365.us/?url=http%3A%2F%2Flists.rtems.org%2Fmailman%2Flistinfo%2Fdevel=05%7C01%7C%7Cdf082186a2e94e7469a508db87972228%7Cd761ffacf6be45b88f6f288a59577095%7C0%7C0%7C638252855427392820%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C=KaysoMVjUZ3z52kLfaNS1xmwbdN5Y3YmOQLPiYCUHlI%3D=0
___
users mailing list
users@rtems.org
https://usg02.safelinks.protection.office365.us/?url=http%3A%2F%2Flists.rtems.org%2Fmailman%2Flistinfo%2Fusers=05%7C01%7C%7Cdf082186a2e94e7469a508db87972228%7Cd761ffacf6be45b88f6f288a59577095%7C0%7C0%7C638252855427392820%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C=hcdP78m3VZM%2BhIPEluZSxF45bbuMfkuWqBGByQxtMSs%3D=0
___
users mailing list
users@rtems.org
http://lists.rtems.org/mailman/listinfo/users