5 Commits

Author	SHA1	Message	Date
Dave Halter	cc68942ec1	Make sure that the deployment process checks out git submodules (e.g. typeshed)	2019-05-18 00:20:56 +02:00
Dave Halter	9b1d3ff207	The tags should be annotated if possible	2017-12-30 14:05:14 +01:00
Dave Halter	02f238ce08	Add the executable bit to deploy-master.sh	2017-12-14 22:51:02 +01:00
Dave Halter	dd924a287d	Deployment script forgot to push the tags to github.	2017-09-21 00:05:52 +02:00
Dave Halter	3789709ec0	Add the deployment script from parso.	2017-08-31 22:45:27 +02:00