]>
2021-02-03 | Armaan Bhojwani | Web-update-server: don't clean before rebase pull | blob | commitdiff | raw |
2021-01-19 | Armaan Bhojwani | Web-update-server: Switch to makefiles | blob | commitdiff | raw | diff to current |
2021-01-19 | Armaan Bhojwani | Web-update-server: fix git pull command, set -e | blob | commitdiff | raw | diff to current |
2021-01-17 | Armaan Bhojwani | Web-update-server: Change Gemini command | blob | commitdiff | raw | diff to current |
2021-01-16 | Armaan Bhojwani | Web-update-server: Switch to rebase pull | blob | commitdiff | raw | diff to current |
2020-12-18 | Armaan Bhojwani | add web-update-server to repo | blob | commitdiff | raw | diff to current |