3 Commits

Author	SHA1	Message	Date
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
Daniel Rudolf	45dcf32fa7	phpDocs auto deployment: Support pull requests in a safe environment	2015-11-26 02:15:34 +01:00
Daniel Rudolf	17dbc4cf18	phpDocs auto deployment: Cleanup	2015-11-26 00:29:14 +01:00