This repository has been archived on 2026-01-06. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Jef Roosens 78310fa1e4 Builder now uses new Git repos API		2022-04-07 12:10:37 +02:00
..
build	Builder now uses new Git repos API	2022-04-07 12:10:37 +02:00
docker	Fixed linting errors	2022-02-25 21:54:16 +01:00
git	Builder now uses new Git repos API	2022-04-07 12:10:37 +02:00
repo	Initial part of repos API (SEGFAULTS) [CI SKIP]	2022-02-21 22:22:36 +01:00
server	Pleased vfmt & vet	2022-04-07 11:58:05 +02:00
web	Added some docs	2022-04-01 21:50:00 +02:00
archive.v	Filenames now use the correct compression scheme (closes #56)	2022-01-31 23:01:17 +01:00
env.v	Some final adjustments before merge	2022-04-06 19:51:54 +02:00
main.v	Some final adjustments before merge	2022-04-06 19:51:54 +02:00
package.v	We must please make vet	2022-02-02 13:34:28 +01:00
response.v	Split Git client code into separate module	2022-04-07 12:07:56 +02:00
util.v	Updated CI Dockerfile; fixed formatting & vet	2022-02-22 08:14:20 +01:00