SeaCMS/pico - pico - Gitea: Git with a cup of tea

Author	SHA1	Message	Date
theshka	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
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
Daniel Rudolf	45dcf32fa7	phpDocs auto deployment: Support pull requests in a safe environment	10 years ago
Daniel Rudolf	17dbc4cf18	phpDocs auto deployment: Cleanup	10 years ago