
<html>

  <head>


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

  </head>

  <body>

    <font face="FreeSerif">It seems we have a troll, who is determined

      to "edit" Bibles to remove the "heretical book" Romans and who is

      rapidly making an ass of himself.<br>

      <br>

      Is there a "ban this user from any access to this repository"

      feature in github?  I've seen a couple "limit to" options but I

      need to get rid of just 1 person completely.<br>

    </font>

  </body>

</html>