From 9f071f140ecc66e7d8295dd91e30f1442b91914b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lorenz=20H=C3=BCdepohl?= <dev@stellardeath.org>
Date: Thu, 8 Apr 2021 21:13:29 +0200
Subject: [PATCH] Put obsolete repositories to the end
---
mpcdf_common.py | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/mpcdf_common.py b/mpcdf_common.py
index 19f61f0..9fb37c4 100644
--- a/mpcdf_common.py
+++ b/mpcdf_common.py
@@ -839,8 +839,16 @@ Macros:
new_prj = ElementTree.tostring(root, encoding=osc.core.ET_ENCODING)
for name in sorted(prjconf_repos.keys()):
- prjconf_ours.extend(prjconf_repos[name])
+ if name not in old_repos:
+ prjconf_ours.extend(prjconf_repos[name])
+ prjconf_ours.append("")
+
+ if not remove_old:
+ prjconf_ours.append("# Obsolete repos: ")
prjconf_ours.append("")
+ for name in sorted(old_repos):
+ prjconf_ours.extend(prjconf_repos[name])
+ prjconf_ours.append("")
prjconf_ours.append(prjconf_end_marker)
--
GitLab