I still don't see the repo mirrored in gitbuh, so we should create a jira for the mirroring part for sure.
On Tue, Mar 8, 2016 at 8:50 AM, Dan Debrunner <[email protected]> wrote: > > On Monday, March 7, 2016 1:02 PM, Katherine Marsden <[email protected]> > wrote: > > > >> Github integration would be requested using the service desk with these > > fields: > >> > >> Project: incubator-quarks > >> Enable/Disable: Enable > >> Mailing List: [email protected] (developer list) > >> Github Integration - Triggers: ?????? > >> Component/s: ???? > > Doh, I'm dumb, the triggers section is a pull down! > > I'm planning to request: > > >> Project: incubator-quarks > >> Enable/Disable: Enable > >> Mailing List: [email protected] (developer list) > >> Github Integration - Triggers: PullRequest Comment & Push > >> Component/s: TravisCI (this is setup at the quarks-edge site for the > quarks repo and is really useful) > > > If it's too much traffic for the dev list we can disable the integration, > but I strongly feel that have the repo mirrored at github and the ability > to easily create & handle pull requests will help increase community > involvement due to ease of use. > > Thanks,Dan. > -- Luciano Resende http://people.apache.org/~lresende http://twitter.com/lresende1975 http://lresende.blogspot.com/
