Merge branch 'chore/deps-from-git' into 'develop'
authorfeld <feld@feld.me>
Mon, 2 Nov 2020 23:28:16 +0000 (23:28 +0000)
committerfeld <feld@feld.me>
Mon, 2 Nov 2020 23:28:16 +0000 (23:28 +0000)
Ensure URLs for git repos end in .git for older git clients like on CentOS 7

See merge request pleroma/pleroma!3119


Trivial merge