[PATCH] pullrequests: saving raw_id instead of branch in org_ref
Mads Kiilerich
mads at kiilerich.com
Mon Mar 23 10:54:09 EDT 2015
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
More information about the kallithea-general
mailing list