# HG changeset patch
# User Anton Shestakov <av6@dwimlabs.net>
# Date 1696016192 10800
# Node ID abbba073aa88acdf9682d1e6ecb8b605231dd204
# Parent  b56489871a56b8e1dfc62d5da2c1aad5fc91988c
topic: check for devel.randomseed existence correctly

Judging by the block of code above this patch, we want to check for presence of
the same config option as we then add. So in this case, it would be
devel.randomseed, and not just devel.random. I couldn't find any mention of
devel.random in evolve, topic or core, which makes me think it was just a typo.

diff -r b56489871a56 -r abbba073aa88 hgext3rd/topic/__init__.py
--- a/hgext3rd/topic/__init__.py	Wed Oct 04 14:27:00 2023 -0300
+++ b/hgext3rd/topic/__init__.py	Fri Sep 29 16:36:32 2023 -0300
@@ -304,7 +304,7 @@
                   default=None,
         )
     if (b'devel' not in ui._knownconfig
-            or not ui._knownconfig[b'devel'].get(b'random')):
+            or not ui._knownconfig[b'devel'].get(b'randomseed')):
         extraitem(b'devel', b'randomseed',
                   default=None,
         )