From db8f6f4e388bb34b042da4b342a09ac87fd844e2 Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Tue, 13 Jun 2023 15:51:43 +0800
Subject: [PATCH] change it to the latest branch instead of head (#22086)

Who knows what's wrong with git
---
 koch.nim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/koch.nim b/koch.nim
index 8b0819c649..2fde9fbd13 100644
--- a/koch.nim
+++ b/koch.nim
@@ -12,7 +12,7 @@
 const
   # examples of possible values for repos: Head, ea82b54
   NimbleStableCommit = "168416290e49023894fc26106799d6f1fc964a2d" # master
-  AtlasStableCommit = "Head"
+  AtlasStableCommit = "master"
   ChecksumsStableCommit = "b4c73320253f78e3a265aec6d9e8feb83f97c77b"
 
   # examples of possible values for fusion: #head, #ea82b54, 1.2.3