Changesets: Tools

master 2df1ce23

2024-04-20 19:14

dregad


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

dregad


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

dregad


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

dregad


Details Diff
Add requirements.txt file for Python venv
add - requirements.txt Diff File

master b3cb3579

2024-04-20 12:24

dregad


Details Diff
Ignore Python venv and cache directories
mod - .gitignore Diff File

master 2c2f3020

2024-04-12 18:58

dregad


Details Diff
Remove leftover debugging echo statement

Issue #34402
mod - nightly-builds.sh Diff File

master e9d21098

2024-04-12 17:58

dregad


Details Diff
Merge branch 'fix-nightly-builds'
mod - nightly-builds.sh Diff File

master 9082850c

2024-04-11 18:59

dregad


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

dregad


Details Diff
Log details about deleted files

Issue #34402
mod - nightly-builds.sh Diff File

master 36c08c13

2024-04-11 18:36

dregad


Details Diff
Whitespace
mod - nightly-builds.sh Diff File

master 672dea6a

2024-04-11 18:36

dregad


Details Diff
Stop generating nightly builds for 1.3.x branch
mod - nightly-builds.sh Diff File

master 69394222

2024-04-11 18:35

dregad


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

dregad


Details Diff
Skip "Special" plugin teams for multi-repo access
mod - github_plugin_teams.py Diff File

master a17dc7cc

2023-09-05 08:49

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


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

dregad


Details Diff
Rename Github object variable to 'gh'
mod - github_plugin_teams.py Diff File
1 2 3 4 5 6 7 8 9 10 11  Next  Last