On 03/20/2015 01:18 PM, Thomas De Schampheleire wrote:
Regardless of this TODO, I think the patch is fine in removing a different behavior depending on the fact that the PR head happens to be the tip at the time of PR creation or not.
Yes - I was verifying it in production. Pushed - thanks! I also pushed a trivial fix for cross repo PRs. /Mads _______________________________________________ kallithea-general mailing list [email protected] http://lists.sfconservancy.org/mailman/listinfo/kallithea-general
