chiark / gitweb /
Split brain: Add [dgit version ] tag to autogenerated .gitignore patch header