Changesets: Tools
master 2df1ce23 2024-04-20 19:14 Details Diff |
Merge branch 'fix-github-plugin-teams' | ||
mod - .gitignore | Diff File | ||
mod - config.py | Diff File | ||
mod - config_defaults.yml | Diff File | ||
mod - github_plugin_teams.py | Diff File | ||
add - requirements.txt | Diff File | ||
master 4da5a142 2024-04-20 13:27 Details Diff |
GitHub API requires admin:org to create teams | ||
mod - config_defaults.yml | Diff File | ||
mod - github_plugin_teams.py | Diff File | ||
master fac4a8f8 2024-04-20 13:13 Details Diff |
collections.Mapping deprecated since Python 3.3 Mapping is available from collections.abc now, changing import. |
||
mod - config.py | Diff File | ||
master 2154abbf 2024-04-20 13:11 Details Diff |
Add requirements.txt file for Python venv | ||
add - requirements.txt | Diff File | ||
master b3cb3579 2024-04-20 12:24 Details Diff |
Ignore Python venv and cache directories | ||
mod - .gitignore | Diff File | ||
master 2c2f3020 2024-04-12 18:58 Details Diff |
Remove leftover debugging echo statement Issue #34402 |
||
mod - nightly-builds.sh | Diff File | ||
master e9d21098 2024-04-12 17:58 Details Diff |
Merge branch 'fix-nightly-builds' | ||
mod - nightly-builds.sh | Diff File | ||
master 9082850c 2024-04-11 18:59 Details Diff |
Fix deleting old builds not working Use a single find command with -regex instead of find piped into grep. Fix the regex to match commit hashes used in the file names with 7 or more hex chars. Git will increase the hashes' length to ensure they are unique, and currently they are 9 chars long. Fixes #34402 |
||
mod - nightly-builds.sh | Diff File | ||
master 66744f82 2024-04-11 18:38 Details Diff |
Log details about deleted files Issue #34402 |
||
mod - nightly-builds.sh | Diff File | ||
master 36c08c13 2024-04-11 18:36 Details Diff |
Whitespace | ||
mod - nightly-builds.sh | Diff File | ||
master 672dea6a 2024-04-11 18:36 Details Diff |
Stop generating nightly builds for 1.3.x branch | ||
mod - nightly-builds.sh | Diff File | ||
master 69394222 2024-04-11 18:35 Details Diff |
Nightly builds: improve retrieval of branches list - New err() function to display error and exit - Use variable for Git remote instead of hardcoding 'origin' - branches variable is now delimited by space instead of comma - Use a single git ls-remote call to retrieve branches - Improve logging - Fix error when processing multiple branches - Allow both "*" and empty for all branches Fixes #34402 |
||
mod - nightly-builds.sh | Diff File | ||
master ea9d282a 2023-09-05 08:50 Details Diff |
Skip "Special" plugin teams for multi-repo access | ||
mod - github_plugin_teams.py | Diff File | ||
master a17dc7cc 2023-09-05 08:49 Details Diff |
GitHub Fine-grained tokens not fully supported The new fine-grained personal access tokens (currently in beta) are not working, as PyGithub does not provide a way to detect what access we effectively have (oauth_scopes is set to None). |
||
mod - config_defaults.yml | Diff File | ||
mod - github_plugin_teams.py | Diff File | ||
master 216784ff 2023-09-05 08:40 Details Diff |
Github teams: fix required privileges check We actually only need write:org, not admin:org. |
||
mod - config_defaults.yml | Diff File | ||
mod - github_plugin_teams.py | Diff File | ||
master f3ca9f0b 2021-06-02 12:34 Details Diff |
Nightly builds: remove build directories We don't use them or offer them for download, so there is no need to keep the source directories used to generate the nightly builds tarballs once they have been created. |
||
mod - nightly-builds.sh | Diff File | ||
master 3c04cff9 2021-06-02 12:32 Details Diff |
Nightly builds: no need to include manuals Unlikely that a person downloading the nightly build would need the manual, and if they did they can always get the latest version online at https://mantisbt.org/documentation.php |
||
mod - nightly-builds.sh | Diff File | ||
master 285ea384 2021-05-06 09:33 Details Diff |
Config: remove obsolete user and password keys Accessing the GitHub API with user/password is no longer possible since 2020-11-13, so it makes no sense to keep these settings in here. |
||
mod - config_defaults.yml | Diff File | ||
master 6a22fb6a 2021-05-06 09:19 Details Diff |
New script to identify merged branches to delete Once a PR has been merged, its reference branch is in most cases no longer needed. GitHub offers a button to delete it, but this is a manual task and if not done right away developers forget to do it and these branches tends to pile up. This script checks all branches in the specified developer's repository against successfully merged PRs that were submitted by that developer in the reference repository. If one or more matching references are found, it prints a command that can be used to delete the no-longer needed branches. |
||
add - merged_pr_branches.py | Diff File | ||
master d1fff335 2021-05-06 09:17 Details Diff |
New script to update Github teams access to plugin repos Helper script for mantisbt-plugins organization maintenance. Uses Github API to - Create a team for each plugin, granting push access to it - grant the "Special" teams specified in config file access to all plugins in the organization |
||
mod - config_defaults.yml | Diff File | ||
add - github_plugin_teams.py | Diff File | ||
master 7ab8cab4 2021-05-06 09:11 Details Diff |
New script to get all repos for an org Clones or updates local copies of all the specified organization's repositories. Execute in a new directory, or one already containing one or more of the organization's repos. |
||
add - get_all_repos.py | Diff File | ||
master 5a56a458 2021-05-06 09:04 Details Diff |
Print team URL for "orphan" Facilitates manual check for those. |
||
mod - github_plugin_teams.py | Diff File | ||
master 0cd735ae 2021-05-06 09:02 Details Diff |
Fix deprecated method call DeprecationWarning: Call to deprecated method set_repo_permission. (Team.set_repo_permission() is deprecated, use Team.update_team_repository() instead.) |
||
mod - github_plugin_teams.py | Diff File | ||
master 55631840 2021-05-06 08:59 Details Diff |
Improve handling of token with insufficient rights Catch the error early, and provide descriptive message. |
||
mod - github_plugin_teams.py | Diff File | ||
master 172bc675 2021-05-06 08:57 Details Diff |
Rename Github object variable to 'gh' | ||
mod - github_plugin_teams.py | Diff File |