On 05/27/2011 02:51 PM, Bernhard R. Link wrote:
>> That means you can no longer commit to git.d.o, so you'll have to use
>> git-commit.d.o or something similar for pushes.
> 
> Would you expect to be able to push to git.debian.org?

Yes. It is easy to remember and personally I fail to understand why it
should not be possible to find a sane way to make it available.


-- 
 Bernd Zeimetz                            Debian GNU/Linux Developer
 http://bzed.de                                http://www.debian.org
 GPG Fingerprints: ECA1 E3F2 8E11 2432 D485 DD95 EB36 171A 6FF9 435F


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4ddfc3fa.8040...@bzed.de

Reply via email to