mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 04:53:36 +00:00
team: Add more repositories and rename tabs.
Based on an audit of all repositories in the zulip organization.
This commit is contained in:
@@ -107,15 +107,29 @@ def update_contributor_data_file() -> None:
|
||||
# the total count, including those that should *not* have tabs on the team
|
||||
# page (e.g. if they are deprecated).
|
||||
repo_names = [
|
||||
"docker-zulip",
|
||||
"errbot-backend-zulip",
|
||||
"github-actions-zulip",
|
||||
"hubot-zulip",
|
||||
"puppet-zulip",
|
||||
"python-zulip-api",
|
||||
"trello-to-zulip",
|
||||
"swift-zulip-api",
|
||||
"zulint",
|
||||
"zulip",
|
||||
"zulip-android-legacy",
|
||||
"zulip-architecture",
|
||||
"zulip-archive",
|
||||
"zulip-csharp",
|
||||
"zulip-desktop",
|
||||
"zulip-desktop-legacy",
|
||||
"zulip-flutter",
|
||||
"zulip-ios-legacy",
|
||||
"zulip-js",
|
||||
"zulip-mobile",
|
||||
"zulip-redmine-plugin",
|
||||
"zulip-terminal",
|
||||
"zulip-zapier",
|
||||
"zulipbot",
|
||||
]
|
||||
|
||||
|
||||
Reference in New Issue
Block a user