# Exclude a file from a pull request‏ 3 messages from 2015-10-07 to 2015-10-08. Participants: Rudy YAYON, Andreas Schwab, Jacob Keller. Thread: https://gitlist.dev/t/40507 ## Rudy YAYON, 2015-10-07 15:55 Subject: Exclude a file from a pull request‏ Message-ID: <88A9B78851BE8145A87C05C88FC3ED840101DEB1@bsrspdag001.boursorama.fr> URL: https://gitlist.dev/e/88A9B78851BE8145A87C05C88FC3ED840101DEB1%40bsrspdag001.boursorama.fr ``` Hi all, I have a concern with r10k used by Puppet. r10k is a Puppet tool based on the git workflow. My concern is that one important file (Puppetfile) needs to be pushed to my remote repository so I can check the changes I commited. To do that, I need to commit changes (included to the Puppetfile) then I need to push it to the remote repository. Once I want to merge these changes from a specific branch to the master branch, I do NOT want to include this file. In other words, I want to merge all files except the Puppetfile file. What is the best way for you to do that? Reminder: I can't ignore the file as I have to push it to the remote repository (origin) Regards, Rudy YAYON ``` ## Andreas Schwab, 2015-10-07 16:33 Subject: Re: Exclude a file from a pull request‏ Message-ID: <87oaga8wq6.fsf@igel.home> URL: https://gitlist.dev/e/87oaga8wq6.fsf%40igel.home In-Reply-To: <88A9B78851BE8145A87C05C88FC3ED840101DEB1@bsrspdag001.boursorama.fr> ``` Rudy YAYON writes: > My concern is that one important file (Puppetfile) needs to be pushed to my remote repository so I can check the changes I commited. > To do that, I need to commit changes (included to the Puppetfile) then I need to push it to the remote repository. > > Once I want to merge these changes from a specific branch to the master branch, I do NOT want to include this file. In other words, I want to merge all files except the Puppetfile file. > > What is the best way for you to do that? Create a branch that does not include the file. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." ``` ## Jacob Keller, 2015-10-08 00:30 Subject: Re: Exclude a file from a pull request‏ Message-ID: URL: https://gitlist.dev/e/CA%2BP7%2BxqZwbLkLhG%3D1PvBXSRW_bJ_7CphTJDAY3Wrc1SyjCFsaA%40mail.gmail.com In-Reply-To: <87oaga8wq6.fsf@igel.home> ``` On Wed, Oct 7, 2015 at 9:33 AM, Andreas Schwab wrote: > Rudy YAYON writes: > >> My concern is that one important file (Puppetfile) needs to be pushed to my remote repository so I can check the changes I commited. >> To do that, I need to commit changes (included to the Puppetfile) then I need to push it to the remote repository. >> >> Once I want to merge these changes from a specific branch to the master branch, I do NOT want to include this file. In other words, I want to merge all files except the Puppetfile file. >> >> What is the best way for you to do that? > > Create a branch that does not include the file. > > Andreas. > Why do the changes to "Puppetfile" need to be pushed to your github? Just test it locally and then push it and pull-request a commit which doesn't have those changes in it. Regards, Jake ```