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
Showing only changes of commit 13e04cd615 - Show all commits

View file

@ -83,7 +83,7 @@ pipeline:
curl curl
--silent --silent
-XPUT -XPUT
-T pvieter -T vieterctl
-H "Host: $URL" -H "Host: $URL"
-H "Date: $DATE" -H "Date: $DATE"
-H "Content-Type: $CONTENT_TYPE" -H "Content-Type: $CONTENT_TYPE"