Hello Martin,
Le 25/01/2016 10:39, Martin Eberhard Schauer a écrit :
>> A "git pull" might help..:-)
>>
>> However, I have to admit that I'm not sure I can do it.
>>
>> The DDTP machine is hosted on a non debian.org machine (there were
>> reasons for that, the main being that we failed to move the
Hello,
Le 25/01/2016 08:06, Christian PERRIER a écrit :
> Quoting Thomas Vincent (tho...@vinc-net.fr):
>> Hello,
>>
>> On 20/01/2016 00:23, Thomas Vincent wrote:
>>> If nobody objects, I will push my change at the end of the week and hope
>>> nothing breaks. :)
>>
>> I made a push this morning. Is
A "git pull" might help..:-)
However, I have to admit that I'm not sure I can do it.
The DDTP machine is hosted on a non debian.org machine (there were
reasons for that, the main being that we failed to move the service on
ddtp.debian.org and that, in the meantime, manpower decreased
dramaticall
3 matches
Mail list logo