On 25-04-13 16:43, Edson Tirelli wrote:
Geoffrey,
No idea, but I think the main issue with the PR
merge button is that by clicking on it, we are "blindly"
accepting the code changes without testing on our machine
first. So for a couple lines of code changes, like a fix on
typos or docs, it is fine,
Even for typo's and a few lines of codes, we 'll want to have a
rebase right?
But not using the PR merge button for a typo PR is way too much
overhead.
but for anything larger we should be pulling the
PR into our local code base, rebasing it, running the tests
and only after that pushing to the public repo....
At least, this is how I see it...
Edson
_______________________________________________
rules-dev mailing list
rules-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-dev
|
_______________________________________________
rules-dev mailing list
rules-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-dev