Commit Graph

7 Commits

Author SHA1 Message Date
Christoph Junghans
c4be6f8457
social: add work url (#171)
* social: add work url

* Deploy: --dry-run -> --no-push
2021-01-05 09:37:57 -05:00
Christoph Junghans
625fb694d6
Github action: add deploy workflow (#163)
* Github action: add deploy workflow

* Update .github/workflows/deploy.yml

Co-authored-by: Maruan <alshedivat@users.noreply.github.com>
2021-01-04 20:09:20 -05:00
Sahir Bhatnagar
9cbed31f10 Do not delete CNAME when moving _site files to deploy branch (#25)
The step in the deploy script that deletes almost all files except for _site/ was causing issues if you have a custom domain name. GitHub pages requires a CNAME, so I added this to the list of files not to delete.
2018-08-23 23:35:02 -04:00
Maruan Al-Shedivat
43df930fba Ensure everything is committed before deploying 2017-09-26 10:16:08 -04:00
Maruan Al-Shedivat
a47b1acd21 Improve deploy script (addresses #6) 2017-09-08 12:51:25 -04:00
Maruan Al-Shedivat
7c258e74f5 Make deploy script use bunlder 2017-07-01 09:24:04 -07:00
Maruan Al-Shedivat
efb2489b07 Fix baseurl. Add gh-pages deployment script. 2016-07-05 04:50:43 -04:00