On 20.02.19 10:19, Ævar Arnfjörð Bjarmason wrote:
Most git users are at the level of only knowing very basic
add/commit/pull/push command interaction. I feel strongly that we need
to make our tools safe to use by default, and not require some
relatively advanced "precious"/attribute facility to b
either
how to avert this problem, apart from not checking in the .gitignore file (or
checking it in under a different name and copying it manually).
Thanks for any advice,
Steffen Jost.
--
+49-89-2180-9139
http://www.tcs.ifi.lmu.de/~jost/
Lehr- und Forschungseinheit für Theoretische In
2 matches
Mail list logo
