<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El lun, 27 jun 2022 a la(s) 19:09, Simon Redman (<a href="mailto:simon@ergotech.com">simon@ergotech.com</a>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
  
    
  
  <div>
    Hi all,<br>
    <br>
    Previously when making a PR, I was able to select a checkbox to
    allow others to merge to my PR branch:<br>
    <img src="cid:181a73cc5ddc531e8f01" alt=""><br>
    <br>
    Now, that box seems to have vanished.<br>
    <br>
    Did I miss a discussion about removing this feature? It's super
    useful so that I can do small fixups to a stale PR and then merge
    it.</div><div><br></div></blockquote><div><br></div><div>The feature should be still there. In which specific merge request did you see the checkbox missing?<br clear="all"></div></div><br>-- <br><div dir="ltr" class="gmail_signature">Nicolás</div></div>