<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">

<div>Yes, master is official and commits we intend to ship.</div></div></div></div></blockquote><div> </div><div>On a related note then,  Bugzilla doesn't have a "master" label for "Version", nor does it have one for your release yesterday (3.5.2).<br>
<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>I had started a discussion about alternative bug trackers at some point, but it didn't get very far. I'm not sure we want to tie ourselves to GitHub so strongly right now. I'd like to start by experimenting with using it for code review.</div>

</div></div></div></blockquote><div><br></div><div> I understand not wanting to be reliant on their proprietary system (if that is the main reason).<br></div></div></div></div>