# HG changeset patch
# User gabriel
# Date 1608843917 0
# Node ID efd4dcceb77be55c36fdb090cef317eef9ed2384
# Parent  22d142c795ecbc348a61f0770b4a2214caa7f12e
Update repo name

diff -r 22d142c795ec -r efd4dcceb77b profiles/repo_name
--- a/profiles/repo_name	Thu Dec 24 20:44:22 2020 +0000
+++ b/profiles/repo_name	Thu Dec 24 21:05:17 2020 +0000
@@ -1,1 +1,1 @@
-localrepo
+gg-overlay