cli tool to manage git repos #103

Merged
Jef Roosens merged 8 commits from repos-api into dev 2022-02-24 14:15:33 +01:00

8 commits

Author SHA1 Message Date
aa25290f4f
Added CI step to publish dev arch packages
Some checks failed
ci/woodpecker/push/arch unknown status
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline failed
2022-02-24 14:04:29 +01:00
00804bf115
Fix for broken PKGBUILD
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline failed
2022-02-24 14:00:40 +01:00
d5c1366d65
Failed attempt at writing PKGBUILD [CI SKIP] 2022-02-22 20:46:28 +01:00
13e04cd615
Wrong filename in CI
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline was successful
2022-02-22 18:48:29 +01:00
098f89909d
Added cli to CI builds
Some checks failed
ci/woodpecker/push/deploy unknown status
ci/woodpecker/push/docker unknown status
ci/woodpecker/push/lint Pipeline was successful
ci/woodpecker/push/build Pipeline failed
2022-02-22 18:42:09 +01:00
07b069c686
Merge branch 'dev' into repos-api 2022-02-22 18:38:05 +01:00
730d201f33
Merge branch 'dev' into repos-api 2022-02-22 18:37:10 +01:00
9f46c27232
Very basic CLI to update repos 2022-02-22 10:11:18 +01:00