commit | 00337cc73f09684bbbda8becce5fd0a4f4e40af0 | [log] [tgz] |
---|---|---|
author | Daniele Sassoli <danielesassoli@gmail.com> | Fri Dec 22 08:41:32 2023 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Dec 22 08:41:32 2023 +0000 |
tree | 98d931a768380c38c9020519cfb9d787aa3963cc | |
parent | cfa3637ffd1df41e3cedc64fde19561634a41720 [diff] | |
parent | d3e52c155470572dd802ea271d77443693752feb [diff] |
Merge "Correctly filter out user-edit refs"
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() {