Changesets: Tools
|
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 | ||
|
master 187c6455 2019-08-06 07:52 Details Diff |
Retrieve org teams as a dict instead of a list | ||
| mod - github_plugin_teams.py | Diff File | ||
|
master 7fa38461 2019-08-06 07:47 Details Diff |
Fix identation in script output | ||
| mod - github_plugin_teams.py | Diff File | ||
|
master b1e7c741 2019-08-06 07:41 Details Diff |
Update main script comment Document newly implemented functionality |
||
| mod - github_plugin_teams.py | Diff File | ||
|
master 26aa354c 2019-08-06 07:40 Details Diff |
Case insensitive Plugin teams comparison | ||
| mod - github_plugin_teams.py | Diff File | ||
|
master e17a3060 2019-08-06 07:29 Details Diff |
Create Plugin teams if they don't exist For each repo, check if a corresponding team granting push access to it exists, and create it not. |
||
| mod - github_plugin_teams.py | Diff File | ||
|
master 73fda1fd 2019-08-06 07:28 Details Diff |
Process org teams in 2 steps 1. retrieve all of the org's teams 2. load the "special" teams from the config file This is in preparation of new process to create teams with push access for each repository. |
||
| mod - github_plugin_teams.py | Diff File | ||
|
master 5ffa2af8 2019-08-06 05:45 Details Diff |
Update Github plugins script to Python 3 | ||
| mod - github_plugin_teams.py | Diff File | ||
|
master 40088b64 2019-08-06 05:45 Details Diff |
Update config module for Python 3 | ||
| mod - config.py | Diff File | ||
|
master 1edfc97d 2019-03-18 10:48 Details Diff |
buildrelease.py: don't exlude web.config files Fixes 0025614 |
Affected Issues 0025614 |
|
| mod - buildrelease.py | Diff File | ||
|
master a86d2285 2018-11-18 11:23 Details Diff |
Run composer with '--no-plugins --no-scripts' options Just to be on the safe side when running the script as root... Reference: https://getcomposer.org/doc/faqs/how-to-install-untrusted-packages-safely.md |
||
| mod - update-trackers.sh | Diff File | ||
|
master f039d394 2018-11-18 06:52 Committer: dregad Details Diff |
Use Composer when updating our tracker installations We don't use git submodules any longer since some while. Use Composer instead of it. Fixes #24991 |
||
| mod - update-trackers.sh | Diff File | ||
|
gpg-get-bin 529c2129 2018-11-18 04:37 Details Diff |
WIP Get GPG binary | ||
| mod - buildrelease.py | Diff File | ||
|
master c98e17f1 2017-09-20 03:16 Details Diff |
Fixes and improvements to DocBook manual build scripts Following upgrade of Publican to 4.3.2. - fix issues with file names introduced by the new version - fix rsync error when not building html manual - add support for EPUB format - allow building only the TXT manual |
||
| mod - docbook-manual-repo.py | Diff File | ||
| mod - docbook-manual.py | Diff File | ||
|
master 288ef0b1 2017-09-20 02:52 Details Diff |
Allow building EPUB format | ||
| mod - docbook-manual.py | Diff File | ||
|
master e6254b51 2017-09-20 02:44 Details Diff |
Fix rsync error when not building HTML manual | ||
| mod - docbook-manual.py | Diff File | ||
