repo_check.py: allow URLs not ending with .git (#482)
authorMaxim Belkin <maxim.belkin@gmail.com>
Wed, 5 Aug 2020 09:05:45 +0000 (04:05 -0500)
committerGitHub <noreply@github.com>
Wed, 5 Aug 2020 09:05:45 +0000 (05:05 -0400)
commitb11b6d1ae897ed176f41b246db2a4a6c2421aee8
tree4b0a8df2f2013eb20b7e344d7f0232123efdf2c5
parent3dbfd9afe7da8ac18f5a9fed6c38e7a3d77dcfc1
repo_check.py: allow URLs not ending with .git (#482)
bin/repo_check.py