You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Daniel Rudolf 54305c4d33 phpDocs auto deployment: Remove pull requests support ... We can deploy phpDocs in safe environments only, but "safe environment" is equivalent to "pull a local branch", therefore we can simply use that local branch to deploy the phpDocs. There's no need for a explicit pull request support.		10 years ago
..
deploy-phpdoc-branch.sh	phpDocs auto deployment: Remove pull requests support	10 years ago
deploy-phpdoc-release.sh	phpDocs auto deployment: Remove pull requests support	10 years ago
deploy-phpdoc.sh	phpDocs auto deployment: Support pull requests in a safe environment	10 years ago
generate-phpdoc.sh	phpDocs auto deployment: Fix phpDocs generation	10 years ago