Changesets: Tools
master 91ce1e66 2021-03-07 02:50 Details Diff |
docbook-build.sh cron script This script is intended to be scheduled with cron for automated builds of the MantisBT manual. This is the original version of the script, that was deployed to the server following the 2017 upgrade. |
||
add - docbook-builds.sh | Diff File | ||
master ddc86927 2021-03-07 02:44 Details Diff |
docbook-build.sh update after build scripts move Revise the script following the move of the Python build scripts to the the main MantisBT repo. |
||
mod - docbook-builds.sh | Diff File | ||
master 740849bf 2020-10-30 09:56 Details Diff |
Fix shellcheck warnings | ||
mod - nightly-builds.sh | Diff File | ||
master fca3b3e1 2020-10-30 09:47 Details Diff |
Nightly build: allow wildcards for branches set 'master*' as default. |
||
mod - nightly-builds.sh | Diff File | ||
master 3112e131 2020-05-17 01:52 Details Diff |
Do not abort if a plugin can't be updated An error while executing the git command subprocess caused the whole script to stop. Taking advantage of new python3 subprocess.run() features, we catch the exception and log the error, allowing the whole process to complete. |
||
mod - get_all_repos.py | Diff File | ||
master b46ed8f3 2020-05-17 01:24 Details Diff |
Python 3 | ||
mod - get_all_repos.py | Diff File | ||
master 6ac2ba9d 2020-05-17 01:19 Details Diff |
Adapt to use config | ||
mod - get_all_repos.py | Diff File | ||
master 15c6094b 2020-05-17 01:15 Details Diff |
Fix loading config from outside of tools dir Calling a script importing the config module from another directory was triggering a FileNotFoundError exception. |
||
mod - config.py | Diff File | ||
master f8843253 2020-05-16 15:19 Details Diff |
Get GitHub token from config | ||
mod - merged_pr_branches.py | Diff File | ||
master b698cf69 2020-05-16 15:10 Details Diff |
Handle case of empty config.yml or section Change the logic in __update() to avoid triggering an exception in this case. |
||
mod - config.py | Diff File | ||
master 6071abfd 2020-05-16 15:04 Details Diff |
Do not fail if config.yml does not exist | ||
mod - config.py | Diff File | ||
master f8296b33 2020-05-16 15:00 Details Diff |
Accessing GitHub API with user/password is deprecated | ||
mod - config_defaults.yml | Diff File | ||
master b4d973a2 2020-05-16 06:37 Details Diff |
Add command-line options processing | ||
mod - merged_pr_branches.py | Diff File | ||
master e471e9ad 2020-05-16 06:16 Details Diff |
Only print commands if there are branches to delete | ||
mod - merged_pr_branches.py | Diff File | ||
master b7e68cd4 2020-05-16 06:13 Details Diff |
Print commands to delete branches | ||
mod - merged_pr_branches.py | Diff File | ||
master ae6b74bc 2020-05-16 06:12 Details Diff |
Improve PR search query Add 'head:' criteria to limit to existing author branches, to reduce the number of REST queries. This greatly reduces the execution time for contributors with many merged PRs. |
||
mod - merged_pr_branches.py | Diff File | ||
master 33b77c39 2020-05-16 04:45 Details Diff |
Abort if there are no merged branches | ||
mod - merged_pr_branches.py | Diff File | ||
master 19132a43 2020-05-16 04:38 Details Diff |
Python3 / pep8 fixes | ||
mod - merged_pr_branches.py | Diff File | ||
master 5af7f0fd 2020-05-16 04:29 Details Diff |
Handle error if user/repo is not found Renamed function repo() -> get_repo(). Function used to return just the repository's full name (user/repo), now it returns a repository object and exits if not found. |
||
mod - merged_pr_branches.py | Diff File | ||
master 8322594d 2020-05-16 04:21 Details Diff |
New script to identify merged branches to delete | ||
add - merged_pr_branches.py | Diff File | ||
master 549d14d5 2019-11-25 02:35 Details Diff |
buildrelease-repo.py: exclude dev composer dependencies Fixes 0026385 |
Affected Issues 0026385 |
|
mod - buildrelease-repo.py | Diff File | ||
master 8212eebb 2019-11-25 02:21 Details Diff |
buildrelease-repo.py: fix bug when no refs provided When no ref to build is provided, the script retrieves the current HEAD's SHA and uses that as release name. The problem was that using extend() to add the SHA to the list of refs caused the string to be added as individual chars instead of a single item. Using append() instead fixes the problem. Fixes 0026386 |
Affected Issues 0026386 |
|
mod - buildrelease-repo.py | Diff File | ||
master a3236066 2019-08-06 08:40 Details Diff |
Check for orphan teams Verify if there are any Teams in the org, that do not match the naming convention 'Plugin XXXX' where XXXX is the plugin's repository name, and list them so the admin can review and take action if needed. |
||
mod - github_plugin_teams.py | Diff File | ||
master dccdde2b 2019-08-06 08:37 Details Diff |
Improve script output | ||
mod - github_plugin_teams.py | Diff File | ||
master 821940e6 2019-08-06 08:14 Details Diff |
Create team with 'closed' access So they are publicly visible (the default is 'secret') |
||
mod - github_plugin_teams.py | Diff File |