update developers from sourceforge projects

2021-01-07 10:26:29 +01:00
parent 32ae77c7da
commit 844482f8ad
95 changed files with 2734 additions and 41 deletions
--- a/code/maintenance_entries.py
+++ b/code/maintenance_entries.py
@ -907,7 +907,7 @@ if __name__ == "__main__":
        'Update repository list': m.update_repos,
        'Special': m.special_ops,
        'Complete run': m.complete_run
-    }
+    } # TODO sort developers alphabetically and remove duplicate entries

    osg_ui.run_simple_button_app('Entries developer', actions)