We do that as well. Commits to main repository is only done through GitHub PRs and all PRs run through automated CI by Travis prior to being merged.

On 6 March 2016 at 01:22, Adam Young <ayoung@redhat.com> wrote:
On 02/29/2016 01:05 PM, Stan Silvert wrote:
> On 2/29/2016 9:54 AM, Bill Burke wrote:
>> How you guys do this?  I did a rebase -i and squashed everything but the
>> PR contained diffs of merged files and not just my changes.
>>
> I've always followed the WildFly team procedures from here:
> https://developer.jboss.org/wiki/HackingOnWildFly
>
> _______________________________________________
> keycloak-dev mailing list
> keycloak-dev@lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/keycloak-dev
BTW, this is one reason why I really like Gerrit and the automated CI
runs hapening before any commit, with commits to master only being done
in an automated fashion.   Openstack has its issues, but the dev process
has been made to scale.
_______________________________________________
keycloak-dev mailing list
keycloak-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/keycloak-dev