5 Commits (3af7da19885f97483984119cd9d55d73c69f1132)

Author	SHA1	Message	Date
q3k	0dd5195766	hackdoc: bump ... Change-Id: I027a7d8f30d55773ec0e2ec7700bd780e417cb19	2020-09-23 18:31:35 +00:00
q3k	b7898a8038	devtools: fix sourcegraph ... Permissions get mangled on container restart. This adds an init container to fix them. Change-Id: I37c44e23a75b8ec41e6aba2ed38eee223496b8b9	2020-08-23 11:05:57 +00:00
q3k	15db04c705	hackdoc: deploy ... There's an issue with the registry that forbids me from pushing into anything but my personal namespace - might have been introduced by 0697e01144 . For now, I move the hackdoc image to my personal namespace, as at some point in the future I want to revamp the registry system, anyway. We also drive-by fix a mirko.libsonnet typo that, for some reason, hasn't manifested itself yet. Change-Id: I8544e4a52610fb84c5c9d8b0de449f785248f60f	2020-08-10 18:57:26 +02:00
q3k	91e1a8c9c5	devtools: add sourcegraph ... Change-Id: Ic3c40768c761e598e0f42b17a4b9f0d4ebcb2bb2	2020-06-25 12:27:34 +02:00
q3k	7480879222	devtools: deploy hackdoc&depotview ... Change-Id: If7ee65a99fae29f5015bb8ee8bb23e83c0f7dd3a	2020-04-13 01:39:33 +02:00