Re: Merge PRs

2018-11-12 Thread Romain Manni-Bucau
You pull them locally, merge and then push on asf, once "ok" you can ask the author to close it on github Romain Manni-Bucau @rmannibucau | Blog | Old Blog | Github

Re: Merge PRs

2018-11-12 Thread Mark Struberg
Hi Thomas! DeltaSpike is not managed via gitbox but as a classic GIT repo. Thus merging via github simply does not work. LieGrue, strub > Am 12.11.2018 um 09:37 schrieb Thomas Andraschko > : > > Hi, > > i would like to merge 2 PRs and close 1 PRs but it seems that i don't have > write

Re: Merge PRs

2018-11-12 Thread Thomas Andraschko
hmmm, how should we handle those pull requests then? Am Mo., 12. Nov. 2018 um 10:40 Uhr schrieb Mark Struberg : > Hi Thomas! > > DeltaSpike is not managed via gitbox but as a classic GIT repo. > Thus merging via github simply does not work. > > LieGrue, > strub > > > > Am 12.11.2018 um 09:37

Merge PRs

2018-11-12 Thread Thomas Andraschko
Hi, i would like to merge 2 PRs and close 1 PRs but it seems that i don't have write access. However, i have write access to MF + OWB. So i wonder what additional steps i need to do, to get write access? Best regards, Thomas