Re: [pulseaudio-discuss] Moving to GitLab

2018-07-30 Thread Arun Raghavan
On Mon, 30 Jul 2018, at 5:20 PM, Arun Raghavan wrote: > On Fri, 27 Jul 2018, at 6:43 PM, Arun Raghavan wrote: > > On Wed, 25 Jul 2018, at 5:25 PM, Arun Raghavan wrote: > > > Hi folks, > > > The freedesktop admins have now started helping projects move to GitLab > > >

Re: [pulseaudio-discuss] Moving to GitLab

2018-07-30 Thread Arun Raghavan
On Fri, 27 Jul 2018, at 6:43 PM, Arun Raghavan wrote: > On Wed, 25 Jul 2018, at 5:25 PM, Arun Raghavan wrote: > > Hi folks, > > The freedesktop admins have now started helping projects move to GitLab > > (http://gitlab.freedesktop.org/) on a pilot basis. I'm quite excited > > about this as it

Re: [pulseaudio-discuss] Moving to GitLab

2018-07-27 Thread Arun Raghavan
On Wed, 25 Jul 2018, at 5:25 PM, Arun Raghavan wrote: > Hi folks, > The freedesktop admins have now started helping projects move to GitLab > (http://gitlab.freedesktop.org/) on a pilot basis. I'm quite excited > about this as it would mean a better way to track patches, as well as a > more

[pulseaudio-discuss] Moving to GitLab

2018-07-25 Thread Arun Raghavan
Hi folks, The freedesktop admins have now started helping projects move to GitLab (http://gitlab.freedesktop.org/) on a pilot basis. I'm quite excited about this as it would mean a better way to track patches, as well as a more familiar interface for new contributors coming from the Github