GitHub CI

My website.

The workflow is easy:

1. Make sure that you are on the latest develop branch
2. Create a new branch from develop, implement desired changes and open a pull request
3. Deploy the updated web page content with the following command:

   ./scripts/deploy.sh "Some meaningful message"
   

If you want to add a new post you should create a markdown file in the posts/ folder. The name of this file should contain the date of the post and some name. For example: 2018年11月05日-my-new-project.md.

In the .md file you should add next info in the following format:

---
title: Some really meaningful title that will appear at the page
description: Some short description
tags: haskell, stack, cabal, build-tools, tutorial
---
DO NOT COPY TITLE HERE!
Here comes the body of the post itself
...