First part of repo-add replacement #26

Merged

Jef Roosens merged 8 commits from repo-add into dev 2022-01-14 19:40:35 +01:00

Conversation 0 Commits 8 Files Changed 10

8 Commits (dev)

Author	SHA1	Message	Date
Jef Roosens	b5d8e7120d	Only prod needs to be static	2022-01-14 18:38:23 +01:00
Jef Roosens	15acdb7f85	The quotes did it	2022-01-14 18:36:36 +01:00
Jef Roosens	f82b1528e0	Builds always pull now	2022-01-14 18:35:22 +01:00
Jef Roosens	8ab3af1238	Switched to static compilation in CI	2022-01-14 18:32:00 +01:00
Jef Roosens	bdf0c2ee7c	Merge branch 'dev' into repo-add	2022-01-14 11:48:57 +01:00
Jef Roosens	0ed2c9f854	Ignore certain files from archive	2022-01-13 23:36:29 +01:00
Jef Roosens	d4b7a25c06	Lots of restructuring for repo backend	2022-01-13 21:47:14 +01:00
Jef Roosens	5616e7a4e2	Added function to read .PKGINFO into struct	2022-01-13 19:20:14 +01:00