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:59:
> Hi,
> 
> On Mon, 9 Mar 2009, Petr Baudis wrote:
> 
>> On Mon, Mar 09, 2009 at 05:02:55PM +0100, 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.
>> your user has actually not been added in the admin interface, please try 
>> again.
> 
> Indeed.  I should have checked before giving a smart-ass answer ;-)
> 
> Note: when adding a user, you have to enter the admin password...  Failing 
> that, you will see exactly the same form, but a red warning saying that 
> the user has not been added.

Uhm, what I had done:

- added the user
- got back the same admin form /which now listed mjg as a user which had
been added/ (with a checkmark)
- after the push failed, went to the form again, hit update again, still
saw mjg listed as a user for the project.

So, there was no red warning, instead there was a confirmation.

OK, I went back now. mjg was not listed any more. Added it (again), now
things work, I'm happy, I shut up.

Well, what may have happened was that the red warning was displayed at
the top of the paage while the confirmation was listed at the bottom.

In any case, thanks for hosting!

Cheers,
Michael