Jannis Born jannisborn

## push-to-someone-elses-pr.md

      
        
          
            
              
              1 file
            
          
          
            
              
              11 forks
            
          
          
            
              
              6 comments
            
          
          
            
              
              62 stars
            
          
        
        
          
              
          
          
            
                wtbarnes
                / push-to-someone-elses-pr.md
            
            
              Created
              March 5, 2020 04:49
            
              
                Brief instructions for how to modify and push to someone else's PR on github
              
          
        
      
        
  
      
    How to Push to Someone Else's Pull Request

Let's say contributor has submitted a pull request to your (author) project (repo). They have made changes on their
branch feature and have proposed to merge this into origin/master, where
origin -> https://github.com/author/repo.git
Now say you would like to make commits to their PR and push those changes. First, add their fork as a remote called