20 Commits

Author SHA1 Message Date
Daniel Rudolf
8005efdbbb phpDocs auto deployment: Remove latest commit check for pull requests
See https://developer.github.com/v3/pulls/#get-a-single-pull-request
> Each time the pull request receives new commits, GitHub creates a merge
> commit to *test* whether the pull request can be automatically merged into
> the base branch. (This *test* commit is not added to the base branch or the
> head branch.) The  attribute holds the SHA of the *test*
> merge commit; however, this attribute is deprecated and is scheduled for
> removal in the next version of the API.

 holds the SHA of the  merge commit and not of the
latest commit of the head branch, therefore the comparison fails. We could
theoretically compare it against this attribute, but as of its deprecation,
this is a pretty bad idea. Thus we remove the latest commit check for pull
requests.
2015-11-26 02:38:29 +01:00
Daniel Rudolf
45dcf32fa7 phpDocs auto deployment: Support pull requests in a safe environment 2015-11-26 02:15:34 +01:00
Daniel Rudolf
6e0b2aab34 phpDocs auto deployment: Disable for pull requests with a safe environment
Pull requests with a safe environment are primarly local branches
2015-11-26 01:35:35 +01:00
Daniel Rudolf
5af160c31d phpDocs auto deployment: Use $GITHUB_OAUTH_TOKEN to determine latest commit 2015-11-26 01:13:37 +01:00
Daniel Rudolf
17dbc4cf18 phpDocs auto deployment: Cleanup 2015-11-26 00:29:14 +01:00
Daniel Rudolf
2306010ba7 phpDocs auto deployment: Fix phpDocs generation
phpDocumentor acts very strange when relative paths are involved...
2015-11-25 23:53:58 +01:00
Daniel Rudolf
236ae43dab phpDocs auto deployment: Fix deployment of branches 2015-11-25 23:09:15 +01:00
Daniel Rudolf
c198333de7 Improve phpDocs auto-generation 2015-11-25 22:55:21 +01:00
Daniel Rudolf
728873c5a4 build/deploy-phpdoc.sh: Fix credentials 2015-11-25 22:26:51 +01:00
Daniel Rudolf
3c68095075 Improve phpDocs auto-generation 2015-11-25 22:04:16 +01:00
Daniel Rudolf
3852585ba0 Improve phpDocs auto-generation 2015-11-25 21:55:28 +01:00
Daniel Rudolf
9a46033141 Improve phpDocs auto-generation 2015-11-25 21:36:56 +01:00
Daniel Rudolf
32120e5bbc Fix build/generate-phpdoc.sh permissions 2015-11-25 21:02:43 +01:00
Daniel Rudolf
c9387610f3 Auto-generate phpDoc when committing to master 2015-11-25 20:39:49 +01:00
Daniel Rudolf
9712ae2a97 Fix permissions of build/deploy-phpdoc.sh 2015-11-23 21:52:23 +01:00
Daniel Rudolf
7f4ad75245 Refactor phpDoc auto-deployment 2015-11-23 21:46:36 +01:00
theshka
c3b908939f update deploy-phpdoc.sh for auto docs 2015-11-23 13:26:31 -06:00
theshka
bf2a9622db Update deploy script
* [Changed] move everything inside /build/ directory
* [Changed] use absolute file paths in script
* [Changed] copy docs to both the release number and master dirs
Implement @PhrozenByte 's suggestions.
* [Changed] use `$GITHUB_OAUTH_TOKEN` instead of `$GITHUB_TOKEN`
2015-11-23 12:27:15 -06:00
theshka
e0c6383406 rename script 2015-11-23 12:27:15 -06:00
theshka
f062640bb1 test auto docs 2015-11-20 23:28:09 -06:00