At least one developer (me) uses git to work on local branches, and this
file does not hurt.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>