Re: Push is complete

[Bob Proulx]

Bob Proulx wrote:
> I see that some automated task has recreated an empty repository.  I
> guess some script was written to require the repository to be there.
> I can't do anything about that at the moment.

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.

Bob