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

Author	SHA1	Message	Date
Daniel Rudolf	10495c2ce5	_build/generate-badge.sh: Use curl instead of wget After playing around a little bit with a Ubuntu 12.04 LTS virtual machine, `curl` came in my mind... I've absolutetly no idea why `curl` works, but `wget` does not (it's an issue with OpenSSL and both use it the same way...), but anyway - it works	10 years ago
Daniel Rudolf	0f85f85367	Build scripts: Fix exit codes	10 years ago
Daniel Rudolf	f46d0b978c	_build/generate-badge.sh: Skip on emty file	10 years ago
Daniel Rudolf	9f0c7bde5d	Revert "_build/generate-badge.sh: Connect to shields.io using SSLv3" This reverts commit `1561786f31`.	10 years ago
Daniel Rudolf	1561786f31	_build/generate-badge.sh: Connect to shields.io using SSLv3 This is necessary due to a strange TLS bug in Ubuntu 12.04 LTS used by Travis CI. See https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/861137 for details.	10 years ago
Daniel Rudolf	8c24e32f10	Build scripts: Fix formatting	10 years ago
Daniel Rudolf	cd0e0f706f	Build scripts: Git identity must be configured before committing	10 years ago
Daniel Rudolf	92026a3bd0	Add static shields.io badge generator	10 years ago