On Mon, Feb 4, 2019 at 5:58 PM Philip Chimento wrote: > Could we take it all the way and just push the PR branch to > "$github_user_name/$branch_name" > in the main repository on GitLab, and open a merge request automatically, > then instruct the > auto-close bot to direct the person to GitLab, possibly telling them how to > create an account > as well?
Maybe even one step further: find out whether the contributor has an account on our gitlab (same email? Used their github account for authentication?) and fork the repo for them, then copy their github branch to this fork and open the MR. > Also tag the maintainer's GitHub account (if they have one) in the auto-close > message, > so they get a notification? Isn’t a mention on our gitlab instance enough in that case? -- Alexandre Franke GNOME Hacker _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list