On Tuesday, September 20, 2016 at 4:03:27 PM UTC-7, John H Palmieri wrote:
> As discussed in another thread [1]_ on sage-devel recently, I propose 
> changing our policy toward references:
> - all references should be put into a master bibliography file

There is one significant drawback to this: it will mean that a lot of 
ticket branches will be modifying this file, so merge conflicts between 
tickets may become more prevalent. If we can do something to ensure that 
resolving these merge conflicts is likely to fall within what standard 
merge strategies can do automatically we should probably do that.

You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to