This is useful for when you realize that you forgot to mention
something important, made a typo, etc. Obviously you should avoid
using this on a commit which you have already pushed.
Signed-off-by: Eric James Michael Ritz <ejmr@plutono.com>
This tip shows how to list all ignored files in a project, which will
take into account not only any `.gitignore` file within a repository,
but also any globally defined list of exclusions such as
`/home/eric/.gitexcludes` and `.git/info/exclude` within the
repository itself.
Signed-off-by: Eric James Michael Ritz <ejmr@plutono.com>
Since 2010 Git supports the `--delete` argument for git-push as an
alias for the `:branch` syntax, i.e. these commands are equivalent:
$ git push origin :foo
$ git push origin --delete foo
This patch changes the tip to use the `--delete` argument on the
grounds that it is easier to remember, easier to understand, and
easily available since it is unlikely for people to be using a version
of Git which is more than five years old.
Signed-off-by: Eric James Michael Ritz <ejmr@plutono.com>
