3 Commits

Author SHA1 Message Date
Nicolò Ribaudo
eea156b2cb Migrate from "master" branch to "main" (#11715)
* Remove dead link

* Use consistent "homepage" url in package.json

* Update md links

* Update comment link in parser d.ts

* Add comment in gitpod config

* Update circleci config

* Update PULL_REQUEST_TEMPLATE

* Update badges

* Trigger CI

* Update 404 link
2020-06-18 21:52:29 -04:00
Nicolò Ribaudo
fd3c76941e
[gitpod] Run "make watch" in a second terminal (#11718)
Co-authored-by: Huáng Jùnliàng <jlhwung@gmail.com>

[skip ci]
2020-06-15 23:35:19 +02:00
Nicolò Ribaudo
1b95879614
Setup Gitpod (#11704)
Co-authored-by: Brian Ng <bng412@gmail.com>

[skip ci]
2020-06-12 01:03:39 +02:00