[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Push is complete
From: |
Stefan Monnier |
Subject: |
Re: Push is complete |
Date: |
Wed, 12 Nov 2014 18:02:06 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
> It also looks like there are multiple people (and possibly automated
> processes) editing the git config file. It would be good if anyone
> who is editing that file would be so kind as to drop me a note to
> coordinate. Otherwise when I re-enable things subsequent edits will
> surely be lost there.
FWIW, I don't even know how to modify this file. Doesn't it require
more access rights than just "write access to the repository"?
Stefan
- Push is complete, Eric S. Raymond, 2014/11/12
- Re: Push is complete, Bob Proulx, 2014/11/12
- Re: Push is complete, Eric S. Raymond, 2014/11/12
- Re: Push is complete, Bob Proulx, 2014/11/12
- Re: Push is complete, Eric S. Raymond, 2014/11/12
- Re: Push is complete, Bob Proulx, 2014/11/12
- Re: Push is complete,
Stefan Monnier <=
- Re: Push is complete, Bob Proulx, 2014/11/12
- Re: Push is complete, Eric S. Raymond, 2014/11/12
- Re: Push is complete, Stefan Monnier, 2014/11/12