Dnia 2014-09-15, o godz. 03:15:14 Kent Fredric <kentfred...@gmail.com> napisał(a):
> On 15 September 2014 02:40, Michał Górny <mgo...@gentoo.org> wrote: > > > However, I'm wondering if it would be possible to restrict people from > > accidentally committing straight into github (e.g. merging pull > > requests there instead of to our main server). > > => Github is just a read only mirror, any pull reqs submitted there will be > fielded and pushed to gentoo directly. > > Only downside there is the way github pull reqs work is if the final SHA1's > that hit tree don't match, the pull req doesn't close. > > Solutions: > > - A) Have somebody tasked with reaping old pull reqs with permissions > granted. ( Uck ) > - B) Always use a merge of some kind to mark the pull req as dead ( for > instance, an "ours" merge to mark the branch as deprecated ) > > Both of those options are kinda ugly. If you merge a pull request, I suggest doing a proper 'git merge -S' anyway to get a developer signature on top of all the changes. -- Best regards, Michał Górny
signature.asc
Description: PGP signature
