Re: repository at GitLab

2020-05-12 Thread Thomas Morley
Am Di., 12. Mai 2020 um 09:19 Uhr schrieb Thomas Morley : > > Am Di., 12. Mai 2020 um 08:47 Uhr schrieb Jonas Hahnfeld : > > > > Am Dienstag, den 12.05.2020, 08:43 +0200 schrieb Thomas Morley: > > > Am Di., 12. Mai 2020 um 08:32 Uhr schrieb Jonas Hahnfeld > > > : > > > > Am Dienstag, den

Re: repository at GitLab

2020-05-12 Thread Thomas Morley
Am Di., 12. Mai 2020 um 08:47 Uhr schrieb Jonas Hahnfeld : > > Am Dienstag, den 12.05.2020, 08:43 +0200 schrieb Thomas Morley: > > Am Di., 12. Mai 2020 um 08:32 Uhr schrieb Jonas Hahnfeld : > > > Am Dienstag, den 12.05.2020, 08:24 +0200 schrieb Thomas Morley: > > > > Hi, > > > > > > > > currently

Re: repository at GitLab

2020-05-12 Thread Jonas Hahnfeld
Am Dienstag, den 12.05.2020, 08:43 +0200 schrieb Thomas Morley: > Am Di., 12. Mai 2020 um 08:32 Uhr schrieb Jonas Hahnfeld : > > Am Dienstag, den 12.05.2020, 08:24 +0200 schrieb Thomas Morley: > > > Hi, > > > > > > currently I've very little time to work on LilyPond or to monitor the > > >

Re: repository at GitLab

2020-05-12 Thread Thomas Morley
Am Di., 12. Mai 2020 um 08:32 Uhr schrieb Jonas Hahnfeld : > > Am Dienstag, den 12.05.2020, 08:24 +0200 schrieb Thomas Morley: > > Hi, > > > > currently I've very little time to work on LilyPond or to monitor the > > mailing-lists at all, thus I apologize if this is already answered > > elsewhere.

Re: repository at GitLab

2020-05-12 Thread Jonas Hahnfeld
Am Dienstag, den 12.05.2020, 08:24 +0200 schrieb Thomas Morley: > Hi, > > currently I've very little time to work on LilyPond or to monitor the > mailing-lists at all, thus I apologize if this is already answered > elsewhere. > For now I'll expect me getting familiar with GitLab very slowly... >

Re: repository at GitLab

2020-05-12 Thread Thomas Morley
Am Mo., 11. Mai 2020 um 09:14 Uhr schrieb Jonas Hahnfeld : > > Everything went pretty much as expected, so here's the repo: > https://gitlab.com/lilypond/lilypond > If you already have a local repository cloned from Savannah, execute > $ git remote set-url origin

Re: repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Am Montag, den 11.05.2020, 15:00 +0200 schrieb David Kastrup: > Jonas Hahnfeld writes: > > Am Montag, den 11.05.2020, 14:54 +0200 schrieb David Kastrup: > > > Jonas Hahnfeld writes: > > > > Yes, I think pushing existing reviews as a merge request is the easiest > > > > solution. For the

Re: repository at GitLab

2020-05-11 Thread David Kastrup
Jonas Hahnfeld writes: > Am Montag, den 11.05.2020, 14:54 +0200 schrieb David Kastrup: >> Jonas Hahnfeld writes: >> > Yes, I think pushing existing reviews as a merge request is the easiest >> > solution. For the beginning we could of course also live with a mixture >> > of (old-style) issues

Re: repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Am Montag, den 11.05.2020, 14:54 +0200 schrieb David Kastrup: > Jonas Hahnfeld writes: > > Yes, I think pushing existing reviews as a merge request is the easiest > > solution. For the beginning we could of course also live with a mixture > > of (old-style) issues and merge requests, but the

Re: repository at GitLab

2020-05-11 Thread David Kastrup
Jonas Hahnfeld writes: > Am Montag, den 11.05.2020, 14:22 +0200 schrieb David Kastrup: >> David Kastrup writes: >> > Jonas Hahnfeld writes: >> > > Am Montag, den 11.05.2020, 12:44 +0200 schrieb David Kastrup: >> > > > dak@lola:/usr/local/tmp/lilypond$ git push -o merge_request.create >> > > >

Re: repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Am Montag, den 11.05.2020, 14:22 +0200 schrieb David Kastrup: > David Kastrup writes: > > Jonas Hahnfeld writes: > > > Am Montag, den 11.05.2020, 12:44 +0200 schrieb David Kastrup: > > > > dak@lola:/usr/local/tmp/lilypond$ git push -o merge_request.create > > > > -o merge_request.target=staging

Re: repository at GitLab

2020-05-11 Thread David Kastrup
David Kastrup writes: > Jonas Hahnfeld writes: > >> Am Montag, den 11.05.2020, 12:44 +0200 schrieb David Kastrup: >>> Jonas Hahnfeld writes: >>> > Am Montag, den 11.05.2020, 11:42 +0200 schrieb David Kastrup: >>> > > Jonas Hahnfeld < >>> > > hah...@hahnjo.de >>> > > > writes: >>> > > >

Re: repository at GitLab

2020-05-11 Thread David Kastrup
Jonas Hahnfeld writes: > Am Montag, den 11.05.2020, 12:44 +0200 schrieb David Kastrup: >> Jonas Hahnfeld writes: >> > Am Montag, den 11.05.2020, 11:42 +0200 schrieb David Kastrup: >> > > Jonas Hahnfeld < >> > > hah...@hahnjo.de >> > > > writes: >> > > > Everything went pretty much as expected,

Re: repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Am Montag, den 11.05.2020, 12:44 +0200 schrieb David Kastrup: > Jonas Hahnfeld writes: > > Am Montag, den 11.05.2020, 11:42 +0200 schrieb David Kastrup: > > > Jonas Hahnfeld < > > > hah...@hahnjo.de > > > > writes: > > > > Everything went pretty much as expected, so here's the repo: > > > >

Re: repository at GitLab

2020-05-11 Thread David Kastrup
Jonas Hahnfeld writes: > Am Montag, den 11.05.2020, 11:42 +0200 schrieb David Kastrup: >> Jonas Hahnfeld writes: >> > Everything went pretty much as expected, so here's the repo: >> > https://gitlab.com/lilypond/lilypond >> > If you already have a local repository cloned from

Re: repository at GitLab

2020-05-11 Thread Werner LEMBERG
>> Please give me access too; my username on GitLab is 'lemzwerg'. > > Done. Thanks! Werner

Re: repository at GitLab

2020-05-11 Thread David Kastrup
Jonas Hahnfeld writes: > Am Montag, den 11.05.2020, 11:42 +0200 schrieb David Kastrup: >> Jonas Hahnfeld writes: >> > Everything went pretty much as expected, so here's the repo: >> > https://gitlab.com/lilypond/lilypond >> > If you already have a local repository cloned from

Re: repository at GitLab

2020-05-11 Thread Urs Liska
Am Montag, den 11.05.2020, 11:52 +0200 schrieb Jonas Hahnfeld: > Am Montag, den 11.05.2020, 11:39 +0200 schrieb Werner LEMBERG: > > > I granted everybody access to the group > > > https://gitlab.com/lilypond who > > > sent requests so far. > > > > Please give me access too; my username on GitLab

Re: repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Am Montag, den 11.05.2020, 11:39 +0200 schrieb Werner LEMBERG: > > I granted everybody access to the group https://gitlab.com/lilypond who > > sent requests so far. > > Please give me access too; my username on GitLab is 'lemzwerg'. Done. > Another question is what to do with the lilypond git

Re: repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Am Montag, den 11.05.2020, 11:42 +0200 schrieb David Kastrup: > Jonas Hahnfeld writes: > > Everything went pretty much as expected, so here's the repo: > > https://gitlab.com/lilypond/lilypond > > If you already have a local repository cloned from Savannah, execute > > $ git remote

Re: repository at GitLab

2020-05-11 Thread David Kastrup
Jonas Hahnfeld writes: > Everything went pretty much as expected, so here's the repo: > https://gitlab.com/lilypond/lilypond > If you already have a local repository cloned from Savannah, execute > $ git remote set-url origin g...@gitlab.com:lilypond/lilypond.git > to switch to GitLab

Re: repository at GitLab

2020-05-11 Thread Werner LEMBERG
> Everything went pretty much as expected, so here's the repo: > https://gitlab.com/lilypond/lilypond Congrats, and thank you very much for your hard work! > I granted everybody access to the group https://gitlab.com/lilypond who > sent requests so far. Please give me access too; my

repository at GitLab

2020-05-11 Thread Jonas Hahnfeld
Everything went pretty much as expected, so here's the repo: https://gitlab.com/lilypond/lilypond If you already have a local repository cloned from Savannah, execute $ git remote set-url origin g...@gitlab.com:lilypond/lilypond.git to switch to GitLab (or edit your .git/config manually