414cda112f · added vet target to Makefile · Updated 5 months ago
df3c834289 · BuildTrigger: began implementing Buildtriggers, abandoning it for the moment, because it does not fit well with the rest of mvoCI · Updated 1 year ago
Deleting a branch is permanent. It CANNOT be undone. Continue?