| Commit message (Collapse) | Author | ||
|---|---|---|---|
| 2019-08-12 | remove pull.sh | Egor Tensin | |
| It was used to add the SSH key to the ssh-agent. It required storing the password in password.txt, which is terrible. python3 -m pull.main still works, assuming the key is loaded already. | |||
| 2019-08-12 | pull.sh: refactoring | Egor Tensin | |
| 2019-08-12 | split pull/pull.py | Egor Tensin | |
| 2019-02-19 | add option to pull individual repos | Egor Tensin | |
| 2019-02-19 | refactor to make for proper code | Egor Tensin | |
