Re: push problem for new repo on repo.or.cz

[Michael J Gruber <git@drmicha.warpmail.net>]

Johannes Schindelin venit, vidit, dixit 09.03.2009 17:14:
> Hi,
> 
> On Mon, 9 Mar 2009, Michael J Gruber wrote:
> 
>> I have problems pushing into a new project on repo.or.cz. My user (mjg)
>> is added in the admin interface, the key is correct because I've been
>> using it for a while already for other projects (forks though). I'm
>> using a qualified refspec. What else could be wrong on my side, assuming
>> it's not the scripts on repo.or.cz? My git is 1.6.2.
> 
> I guess it is your impatience.
> 
> Users are not really added from the web interface, that would be 
> dangerous, as the web application would need more permissions than it 
> deserves.  Therefore, the web application writes to a file which is 
> handled by a cron job with those permissions.
> 
> So, wait 10 minutes and try again; I am sure it will work then.

You mean like as in 360 seconds? I can't wait!!!

Well, actually, I tried several times, and it's been more like something
between half an hour and an hour now. The project's gitweb site is up,
so something has had the permissions to create something, so to say, or
else I would have suspected cronjob inflicted time quantisation or
backlog as you did. Which is why I suspected that I missed something
(such as having to set
core.allowDenialofPushToEmptyRepoWithoutExplicitForceOption to false).

OK, I'll try again tomorrow. How patient is that ;)

Michael