cd0e0f706f
Build scripts: Git identity must be configured before committing
10 years ago
92026a3bd0
Add static shields.io badge generator
10 years ago
47d2685c6d
phpDocs auto deployment: Disable cache for releases
10 years ago
f5c721aba1
phpDocs auto deployment: Fix paths
10 years ago
76f243f925
Refactor phpDoc deployment
...
This should prevent empty phpDoc updates like 55b4a2b
10 years ago
4be51a7bee
Refactor phpDoc generation
10 years ago
1dc410425f
Isolate build-related files from source
...
* [Changed] rename `phpcs.xml` -> `.phpcs.xml`
* [Changed] rename `build/` dir -> `_build/`
* [Changed] update paths in `.gitignore`
* [Changed] update paths in `.travis.yml`
* [Changed] update paths in `.sh` scripts
10 years ago
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
45dcf32fa7
phpDocs auto deployment: Support pull requests in a safe environment
10 years ago
17dbc4cf18
phpDocs auto deployment: Cleanup
10 years ago
Daniel Rudolf
theshka