Re: Gitlab merge requests

2020-01-15 Thread Dmitry Eremin-Solenikov
ср, 15 янв. 2020 г., 12:03 Tim Rühsen : > On 1/15/20 9:24 AM, Nikos Mavrogiannopoulos wrote: > > On Wed, Jan 15, 2020 at 7:18 AM Niels Möller > wrote: > > > >>> If they are you should be able to see them in Settings -> CI/CD -> > Runners. > >> > >> I've now had a look. There's a section for

Re: Gitlab merge requests

2020-01-15 Thread Tim Rühsen
On 1/15/20 9:24 AM, Nikos Mavrogiannopoulos wrote: > On Wed, Jan 15, 2020 at 7:18 AM Niels Möller wrote: > >>> If they are you should be able to see them in Settings -> CI/CD -> Runners. >> >> I've now had a look. There's a section for "Group runners", which is >> empty. No mention of "shared

Re: Gitlab merge requests

2020-01-15 Thread Nikos Mavrogiannopoulos
On Wed, Jan 15, 2020 at 7:18 AM Niels Möller wrote: > > If they are you should be able to see them in Settings -> CI/CD -> Runners. > > I've now had a look. There's a section for "Group runners", which is > empty. No mention of "shared runners". There's a link to "Install a > GitLab runner"

Re: Gitlab merge requests

2020-01-14 Thread Nikos Mavrogiannopoulos
On Tue, Jan 14, 2020 at 1:26 PM Niels Möller wrote: > > Nikos Mavrogiannopoulos writes: > > > That's great. Does git.lysator.liu.se support shared runners for CI? > > I'm not sure what "shared runners" mean. I'm not aware of any nearby > machines running ci jobs for git.lysator.liu.se. If they

Re: Gitlab merge requests

2020-01-12 Thread Dmitry Eremin-Solenikov
Hello, сб, 11 янв. 2020 г. в 12:20, Niels Möller : > > Hi, > > After some off-list discussions and encouragement, I've reenabled the > "merge request" feature on git.lysator.liu.se/nettle. Great! > I don't know yet precisely how I will want to use it, but feel free to > create merge requests if

Gitlab merge requests

2020-01-11 Thread Niels Möller
Hi, After some off-list discussions and encouragement, I've reenabled the "merge request" feature on git.lysator.liu.se/nettle. I don't know yet precisely how I will want to use it, but feel free to create merge requests if you think that helps us keep track of ongoing work. For the time being,

gitlab merge requests

2016-07-07 Thread Nikos Mavrogiannopoulos
Hi, The gitlab pages on git.lysator.liu.se seem like they are not actively being followed. Although pull and merge requests are the norm for some, if they are not followed, it may make more sense to turn off from the admin interface the merge request option (btw. also the builds option because it