Skip to content

Fix case-typo in monitored repo names#100

Merged
dontcallmedom merged 1 commit intomasterfrom case-typeJun 17, 2020
+2-2

Commits

Commits on Jun 17, 2020