New candidate JEP: 369: Migrate to GitHub

Kevin Rushforth kevin.rushforth at
Fri Nov 22 16:08:19 UTC 2019

On 11/22/2019 7:00 AM, Mario Torre wrote:
> On Fri, Nov 22, 2019 at 3:45 PM Kevin Rushforth
> <kevin.rushforth at> wrote:
>> You will need a personal fork of the repo, and you need to submit a pull
>> request, but you can do that without ever visiting the GitHub web UI,
>> using only the Skara command line tools, if you like.
>> Workflow could be:
>> file bug
>> create a branch in your personal fork
>> push fix to your branch of your fork
>> git pr create ...
>> <review happens, comments are addressed, approval(s) are given, etc>
>> git pr integrate
> Maybe I'm really misunderstanding, but this means that if I'm working
> on 5 backports concurrently, I need to have 5 public branches where to
> push my fixes before I can integrate them into the main repository...

Yes, but it's 5 branches in your single public repository. A branch is 

-- Kevin

More information about the discuss mailing list