
<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    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:part1.j0zFFMZF.7GHpjWAT@ergotech.com" alt="" class=""><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.<br>

    <br>

    Thanks,<br>

    Simon<br>

  </body>

</html>