Re: push problem for new repo on repo.or.cz
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 9, 2009, 16:59 UTC
- Message-ID
- <alpine.DEB.1.00.0903091758390.6358@intel-tinevez-2-302>
- In-Reply-To
- <20090309165139.GV8940@machine.or.cz>
Hi,
On Mon, 9 Mar 2009, Petr Baudis wrote:
Show 9 quoted lines
> 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.
Ciao, Dscho