Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread David Bosschaert
+1 from me too! David On Fri, 27 Jul 2018 at 14:19, Christian Schneider wrote: > It seems that our git repos are still on git-wip. I would like to move them > to gitbox. > This allows us to directly work with the github UI like reviewing, merging > and closing PRs. > > The current repos we

Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread Daniel Kulp
Big +1 Dan > On Jul 27, 2018, at 8:18 AM, Christian Schneider > wrote: > > It seems that our git repos are still on git-wip. I would like to move them > to gitbox. > This allows us to directly work with the github UI like reviewing, merging > and closing PRs. > > The current repos we have

Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread Dominik Przybysz
+1 Could we also migrate aries svn repository to git? Pozdrawiam/Regards, Dominik Przybysz pt., 27.07.2018, 17:38 użytkownik Jean-Baptiste Onofré napisał: > +1 > > Regards > JB > > On 27/07/2018 14:18, Christian Schneider wrote: > > It seems that our git repos are still on git-wip. I would

Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread Jean-Baptiste Onofré
+1 Regards JB On 27/07/2018 14:18, Christian Schneider wrote: > It seems that our git repos are still on git-wip. I would like to move them > to gitbox. > This allows us to directly work with the github UI like reviewing, merging > and closing PRs. > > The current repos we have are: >

Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread Carlos Sierra Andrés
+1 thx! El 27/7/18 a las 16:37, Timothy Ward escribió: > +1 > >> On 27 Jul 2018, at 13:47, Grzegorz Grzybek wrote: >> >> +1 >> >> regards >> Grzegorz Grzybek >> >> 2018-07-27 14:18 GMT+02:00 Christian Schneider : >> >>> It seems that our git repos are still on git-wip. I would like to move

Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread Timothy Ward
+1 > On 27 Jul 2018, at 13:47, Grzegorz Grzybek wrote: > > +1 > > regards > Grzegorz Grzybek > > 2018-07-27 14:18 GMT+02:00 Christian Schneider : > >> It seems that our git repos are still on git-wip. I would like to move them >> to gitbox. >> This allows us to directly work with the github

Re: [HEADS UP] Move current git repos to gitbox

2018-07-27 Thread Grzegorz Grzybek
+1 regards Grzegorz Grzybek 2018-07-27 14:18 GMT+02:00 Christian Schneider : > It seems that our git repos are still on git-wip. I would like to move them > to gitbox. > This allows us to directly work with the github UI like reviewing, merging > and closing PRs. > > The current repos we have