Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 0 additions & 7 deletions admin/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -41,13 +41,6 @@ This folder contains tools or docs useful for project maintainers.
to be added as part of a git commit, ensuring that they conform to the
framework coding style standards, and automatically fixing what can be.

## Maintainer Scripts

- **docbot** re-builds the user guide from the RST source for it,
and optionally deploys it to the `gh-pages` branch of the main
repository (if the user running it has maintainer rights on that repo).
See the [writeup](./docbot.md).

## Release Scripts

The release process is detailed in [RELEASE.md](./RELEASE.md). These scripts
Expand Down
7 changes: 0 additions & 7 deletions admin/alldocs

This file was deleted.

42 changes: 0 additions & 42 deletions admin/apibot

This file was deleted.

36 changes: 0 additions & 36 deletions admin/apibot.md

This file was deleted.

42 changes: 0 additions & 42 deletions admin/docbot

This file was deleted.

39 changes: 0 additions & 39 deletions admin/docbot.md

This file was deleted.

3 changes: 0 additions & 3 deletions utils/check_permission_x.php
Original file line number Diff line number Diff line change
Expand Up @@ -32,9 +32,6 @@ function findExecutableFiles(string $dir, array $excludeDirs = []): array
static $execFileList = [
'.github/scripts/deploy-userguide',
'.github/scripts/secure-git-push',
'admin/apibot',
'admin/alldocs',
'admin/docbot',
'admin/starter/builds',
'user_guide_src/add-edit-this-page',
];
Expand Down