Files
Vishesh Handa ca934f79d5 CloneRepo: Avoid creating a .gitignore file if not required
It's easier if there is always at least 1 commit in a repo. Creating a
commit with a .gitignore file was a simple way to ensure that. However,
we can also just check for the presence of any other file. This way, we
avoid the extra commit.
2020-05-15 15:31:16 +02:00
..