mirror of
https://github.com/vector-im/element-web.git
synced 2024-09-09 22:55:12 +00:00
If you try to clone a repo that doesn't exist via `https`, `git` will prompt for auth credentials and hang forever. Using `git` avoids this and fails immediately instead, which is what we want for a missing repo. Part of https://github.com/vector-im/riot-web/issues/9221 |
||
---|---|---|
.. | ||
check-i18n.pl | ||
cleanup.sh | ||
copy-res.js | ||
deploy.py | ||
electron-package.sh | ||
fetch-develop.deps.sh | ||
genflags.sh | ||
issues-burndown.pl | ||
issues-no-state.pl | ||
jenkins.sh | ||
make-icons.sh | ||
package.sh | ||
redeploy.py | ||
yarn-sub.js |