<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jul 3, 2014 at 5:00 AM, Jeremy Stanley <span dir="ltr"><<a href="mailto:fungi@yuggoth.org" target="_blank">fungi@yuggoth.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2014-07-02 22:19:29 +0400 (+0400), Yuriy Taraday wrote:<br>
[...]<br>
<div class="">> It looks like mirrors will have to bear having a number of dead branches in<br>
> them - one for each release.<br>
<br>
</div>A release manager will delete proposed/juno when stable/juno is<br>
branched from it, and branch deletions properly propagate to our<br>
official mirrors (you may have to manually remove any local tracking<br>
branches you've created, but that shouldn't be much of a concern).</blockquote><div><br></div><div>I mean other mirrors like we have in our local net. Given not so good connection to upstream repos (the reason we have this mirror in the first place) I can't think of reliable way to clean them up.</div>

<div>Where can I find scripts that propagate deletions to official mirrors? Maybe I can get some idea from them?</div></div><div><br></div>-- <br><br><div>Kind regards, Yuriy.</div>
</div></div>