If it's the option I'm picturing, I've used that for merging in a PR against my PR. It's pretty simple and I don't recall it allowing options for fitting our format. Unless I'm mistaken or that has changed, I'd recommend our current workflow. On Mon, Dec 10, 2018 at 3:26 PM Justin Leet wrote: >
"merge pull request" just offers a couple ways to commit directly within GitHub (plain merge of all commits, squash down into one commit, and rebase the PR and merge it). I don't recall it allowing you to enforce a format on the PRs for the commit (e.g. ( via ) closes apache/metron#), which
Another thing to note here is that committers have admin access to the Github account. This access is granted once you link your accounts using the URL that Roy sent. It took about an hour for mine to sync. This means we can do things like close abandoned pull requests ourselves. This also
The repo has just moved to gitbox. Keep in mind the (ASF) remote has changed. The GitHub remote remains the same. I've opened a pull request to adapt the scripts to the gitbox URLs. In order to fully use the GitBox functionality, it is needed to link your ASF and GitHub account which can be done
I have created the issue with INFRA to move over from git-wip-us to GitBox. METRON-1931 is created for updating the scripts with the new GitBox location. I'll start with this once the repositories are moved. - Roy Op ma 10 dec. 2018 om 15:52 schreef Nick Allen : > +1 Thanks for the heads up.
+1 Thanks for the heads up. We will do whatever we need to to help with the transition. On Sun, Dec 9, 2018 at 11:03 AM Otto Fowler wrote: > +1 > > We will need jiras and PR’s for updating our scripts post move however. > > > On December 9, 2018 at 06:32:44, Roy Lenferink
+1 We will need jiras and PR’s for updating our scripts post move however. On December 9, 2018 at 06:32:44, Roy Lenferink (rlenfer...@apache.org) wrote: Hi folks, Checking the mail-archives I noticed the message below missed the dev@metron list . Does anyone have a problem with starting