| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | commit-push-pr.sh | 915 | logplain |
| -rwxr-xr-x | update-check-contributed.sh | 1219 | logplain |
| -rwxr-xr-x | update-git-repo.sh | 452 | logplain |
| -rwxr-xr-x | update-package.sh | 1121 | logplain |
| -rwxr-xr-x | who-needs-update.sh | 1138 | logplain |
![]() |
index : scripts.git | |
| Personal scripts for various tasks |
| aboutsummaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | commit-push-pr.sh | 915 | logplain |
| -rwxr-xr-x | update-check-contributed.sh | 1219 | logplain |
| -rwxr-xr-x | update-git-repo.sh | 452 | logplain |
| -rwxr-xr-x | update-package.sh | 1121 | logplain |
| -rwxr-xr-x | who-needs-update.sh | 1138 | logplain |