Update of sr #108538 (project administration):
Status: None => Done
Assigned to: None => rwp
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
Hello Everton,
Hmm... This is rather an unusual request since the project teams usually
would always do their own code pushes. However being one of the git folks
here I assigned the ticket to me. But then looking at both repositories they
show as identical. I assume that one of the other members of your project
team did this push themselves already. Therefore I will tag the ticket as
done since I think it is already done and there isn't anymore more to do.
Bob
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?108538>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
