commit d3e52c155470572dd802ea271d77443693752feb
author Daniele Sassoli <danielesassoli@gmail.com> Wed Jul 26 10:44:29 2023 -0700
committer Daniele Sassoli <danielesassoli@gmail.com> Wed Jul 26 22:01:54 2023 +0000
tree c4587ef1eba44f65b13135868abc2e1fc11f44bd
parent 098e2e20df53be7371025ef4f1e35d4270806ab4

Correctly filter out user-edit refs

startsWith doesn't want a regex, rather just a string.

Change-Id: I4b66e501cf6dd3031c09f4007d4553426f593b33

multi-primary/localrefdb.groovy

diff --git a/multi-primary/localrefdb.groovy b/multi-primary/localrefdb.groovy
index fb73f89..cdcf864 100644
--- a/multi-primary/localrefdb.groovy
+++ b/multi-primary/localrefdb.groovy
@@ -92,7 +92,7 @@
   }
 
   def listRefs(Repository repo) {
-    repo.refDatabase.refs.findAll { ref -> !(ref.name.startsWith("refs/users/.*")) && !ref.symbolic }
+    repo.refDatabase.refs.findAll { ref -> !(ref.name.startsWith("refs/users/")) && !ref.symbolic }
   }
 
   void stop() {