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.

2015-11-26 04:06:34 +01:00

..

deploy-phpdoc-branch.sh

phpDocs auto deployment: Remove pull requests support

2015-11-26 04:06:34 +01:00

deploy-phpdoc-release.sh

phpDocs auto deployment: Remove pull requests support

2015-11-26 04:06:34 +01:00

deploy-phpdoc.sh

phpDocs auto deployment: Support pull requests in a safe environment

2015-11-26 02:15:34 +01:00

generate-phpdoc.sh

phpDocs auto deployment: Fix phpDocs generation

2015-11-25 23:53:58 +01:00