[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