prady pradyuman-verma

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

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                pradyuman-verma
                / push-to-someone-elses-pr.md
            
            
              Created
              March 23, 2022 09:15
                — forked from wtbarnes/push-to-someone-elses-pr.md
            
              
                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