Congratulations for the first release on GitHub! We haven't quite settled on what I'll do with positively reviewed tickets that end up not building correctly ... My current plan is to re-request review, i.e. reset the approval of the reviewer(s).
Also, the de-facto "positive review" criterion is for now: at least one approve, and no outstanding request for changes. All seem reasonable. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/fe8e7ed3-62d5-400a-8861-5374d70c216cn%40googlegroups.com.
