Follow-up Comment #10, sr #107671 (project administration):

> git push still doesn't work 

I meant that I couldn't push the changes to origin in
/usr/src/savane on frontend.gnu.org.

BTW, https://savannah.gnu.org says that its "Source Code" is [0],
whereas the code in /usr/src/savane/ on frontend.gnu.org
points to [1], which is a different repository.

I'd suggest to
(0) commit the uncommitted file, 
    frontend/php/images/common/contexts1/people.orig.png;
(1) push (probably to merge) the actual code to savanne-cleanup;
(2) checkout savane-cleanup master on frontend.gnu.org.

Of course it is easier to edit files directly on frontend without
pushing them anywhere, but it must confuse those users who are
curious to learn about how the bugs work.

(I really can't tell what reasons were to maintain
the working code in /administration/savane.git, I suggest
what seems the least surprising order to me.)

[0]
http://git.sv.gnu.org/gitweb/?p=savane-cleanup.git;a=blob;f=frontend/php/index.php;hb=HEAD
[1] git://git.sv.gnu.org/administration/savane.git

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?107671>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/


Reply via email to