<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 10 March 2017 at 04:32, Brett Cannon <span dir="ltr"><<a href="mailto:brett@python.org" target="_blank">brett@python.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><br><div class="gmail_quote"><span class=""><div dir="ltr">On Thu, 9 Mar 2017 at 04:07 Nick Coghlan <<a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="m_-230844084031223275gmail_msg"><div class="gmail_extra m_-230844084031223275gmail_msg"><div class="gmail_quote m_-230844084031223275gmail_msg">On 9 March 2017 at 19:30, Victor Stinner <span dir="ltr" class="m_-230844084031223275gmail_msg"><<a href="mailto:victor.stinner@gmail.com" class="m_-230844084031223275gmail_msg" target="_blank">victor.stinner@gmail.com</a>></span> wrote:<br class="m_-230844084031223275gmail_msg"><blockquote class="gmail_quote m_-230844084031223275gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Do we need need a kind of sandbox repository for experiments?<br class="m_-230844084031223275gmail_msg"></blockquote><div class="m_-230844084031223275gmail_msg"><br class="m_-230844084031223275gmail_msg"></div></div></div></div><div dir="ltr" class="m_-230844084031223275gmail_msg"><div class="gmail_extra m_-230844084031223275gmail_msg">Mine aren't experiments, they're temporary branches from using the online editor for minor fixups (GitHub doesn't give you the option to put those in your fork if you have merge access on the main repo).</div></div></blockquote><div><br></div></span><div>In general I expect none of those branches to live longer than 24 hours as the PRs they were created for should be merged in less than an hour. If a branch is older than a day then it means someone probably forgot to delete the branch after merging a PR. </div></div></div>
</blockquote></div><br></div><div class="gmail_extra">That was the case for one of mine, but for the other, it was a matter of needing to run "git remote prune" to clean up the already deleted branch for anyone that had sync'ed it already.<br><br></div><div class="gmail_extra">Cheers,<br></div><div class="gmail_extra">Nick.<br></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Nick Coghlan   |   <a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>   |   Brisbane, Australia</div>
</div></div>