[savannah-help-public] [sr #108993] can't push to git repo

[Bob Proulx]

Update of sr #108993 (project administration):

             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #3:

You may have had other tickets to have had a conversions or some typical
thing. This ticket discussion is CC'd to savannah-help-public mailing list
which is read by the other Savannah volunteers as well.

After I posted my previous response I continued looking and found the problem.
The root cause of the problem is that the sgid bit on the directory was
missing. Normally it is set on any group shared project directory. This means
when files are created they will be created as the user's default group and
not the project group.

This means that things could have been in a somewhat broken state for quite a
long time. The objects are read-only creations, mostly, up until they get
repacked into pack objects. Meaning that it is likely uploads have been
continuing but the files created would not be of the correct group. The
correct group is 'xboard' but most users will be in the 'svusers' group for
the default. And there will be interaction on the refs/heads/master and other
shared files. Which if not the proper shared group will work okay if the
groups happen to be compatible and not if they don't and it all depends upon
the mix of users that have uploaded and the order of it being done.

This was definitely an error in the way the repository was initially created.
But as I said this could have been a hanging problem for quite a long time
before it eventually cause the recent problems. After having found and fixed
the missing sgid bit I think this both explains and solves the problem.


    _______________________________________________________

Reply to this item at:

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

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