git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Exclude a file from a pull request‏

From
RYRudy YAYON <rudy.yayon.ext@boursorama.fr>
Date
Oct 7, 2015, 15:55 UTC
Message-ID
<88A9B78851BE8145A87C05C88FC3ED840101DEB1@bsrspdag001.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

Next: Andreas Schwab
Message 1 of 3 in “Exclude a file from a pull request‏”
  1. Rudy YAYONOct 7, 2015
  2. Andreas SchwabOct 7, 2015
  3. Jacob KellerOct 8, 2015

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.