[PATCH] There was a little inconsistancy in git prompt

2016-04-12 Thread Rudy YAYON
--- contrib/completion/git-prompt.sh | 8 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/contrib/completion/git-prompt.sh b/contrib/completion/git-prompt.sh index 07b52be..18be99f 100644 --- a/contrib/completion/git-prompt.sh +++ b/contrib/completion/git-prompt.sh @@ -194,1

Exclude a file from a pull request‏

2015-10-07 Thread Rudy YAYON
? Reminder: I can't ignore the file as I have to push it to the remote repository (origin) Regards, Rudy YAYON -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kerne

Re: Exclude a file from a pull request

2015-10-08 Thread Rudy YAYON
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 (in