Re: [Mesa-dev] [PATCH mesa 1/2] docs: update repo URLs after GitLab move

2018-09-22 Thread Eric Engestrom
On Friday, 2018-09-21 16:29:48 +0100, Emil Velikov wrote: > On 21 September 2018 at 14:46, Eric Engestrom > wrote: > > I also updated the developer instructions; presumably someone who's been > > given commit rights already knows how to clone a repository :) > > > > A more useful thing is to show

Re: [Mesa-dev] [PATCH mesa 1/2] docs: update repo URLs after GitLab move

2018-09-21 Thread Dylan Baker
Quoting Emil Velikov (2018-09-21 08:29:48) > On 21 September 2018 at 14:46, Eric Engestrom > wrote: > > I also updated the developer instructions; presumably someone who's been > > given commit rights already knows how to clone a repository :) > > > > A more useful thing is to show how to update

Re: [Mesa-dev] [PATCH mesa 1/2] docs: update repo URLs after GitLab move

2018-09-21 Thread Emil Velikov
On 21 September 2018 at 14:46, Eric Engestrom wrote: > I also updated the developer instructions; presumably someone who's been > given commit rights already knows how to clone a repository :) > > A more useful thing is to show how to update the pushurl, and how to use > access tokens to push over

[Mesa-dev] [PATCH mesa 1/2] docs: update repo URLs after GitLab move

2018-09-21 Thread Eric Engestrom
I also updated the developer instructions; presumably someone who's been given commit rights already knows how to clone a repository :) A more useful thing is to show how to update the pushurl, and how to use access tokens to push over HTTPS (especially for us at Intel, where non-http traffic is a