On 19.8.2022 0.21, Tim Herb wrote:
Hello, thank you for the answer. I have written a program that creates out of the content of the file with the function names pasted into a text file a CSV-File. Cloning the repository was not sucessful for me. I tried it and after waiting a half hour or something like that I stopped it.
To speed the cloning up, skipping the git history, you can do a shallow clone with: