&gt;What&#x27;s happening is that the project maintainer is pulling in your changes, from your repository.<p>Then how come the following is possible?<p>1. I submit a pull request to Bob.<p>2. I delete my repository.<p>3. Bob successfully accepts my pull request.<p>Where is Bob pulling from if my repository is already gone?<p>Semantically you are correct, of course, but Github&#x27;s current implementation doesn&#x27;t reflect that.