Disable sagev.space ping check for pushdot/getdot. Fails even when git may not. |
||
---|---|---|
.idea | ||
fake_home | ||
.gitignore | ||
.gitmodules | ||
copy.sh |
Disable sagev.space ping check for pushdot/getdot. Fails even when git may not. |
||
---|---|---|
.idea | ||
fake_home | ||
.gitignore | ||
.gitmodules | ||
copy.sh |