On Thu, Sep 27, 2018 at 02:12:45PM +1000, Dmitry Smirnov wrote:
> On Thursday, 27 September 2018 12:24:18 PM AEST Jongmin Kim wrote:
> > * Rename branch 'debian' to 'debian/sid' in our team's repo.
>
> Perhaps it would have been better to rename it to "master"?
Thank you, Dmitry.
Alexandre
On Thursday, 27 September 2018 12:24:18 PM AEST Jongmin Kim wrote:
> * Rename branch 'debian' to 'debian/sid' in our team's repo.
Perhaps it would have been better to rename it to "master"?
--
Cheers,
Dmitry Smirnov.
---
In questions of science, the authority of a thousand is not worth the
