From: Jacob Keller <jacob.keller@gmail.com>
Date: Thu, 08 Oct 2015 00:30:07 GMT
Subject: Re: Exclude a file from a pull request‏
Message-ID: <CA+P7+xqZwbLkLhG=1PvBXSRW_bJ_7CphTJDAY3Wrc1SyjCFsaA@mail.gmail.com>
In-Reply-To: <87oaga8wq6.fsf@igel.home>

On Wed, Oct 7, 2015 at 9:33 AM, Andreas Schwab <schwab@linux-m68k.org> wrote:
> Rudy YAYON <Rudy.YAYON.ext@boursorama.fr> 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