New post; cleanup.

Makefile

@@ -0,0 +1,13 @@
+SERVER=lyra.benkurtovic.com
+STAGE=/usr/share/nginx/benkurtovic
+
+.PHONY: build serve deploy
+
+build:
+	jekyll build
+
+serve:
+	jekyll serve
+
+deploy:
+	rsync -chirvz --progress --delete-after _site/ $(SERVER):$(STAGE)

_layouts/post.html

@@ -16,6 +16,7 @@ layout: base
         {{ content }}
     </div>
     {% unless page.draft %}
+        <div id="comments-break"></div>
         <div id="disqus_thread"></div>
         <script>
             var disqus_shortname = 'earwig';

_posts/2018-06-04-moving-away-from-github.md

@@ -0,0 +1,14 @@
+---
+layout: post
+title: "Moving away from GitHub"
+tags: ["Status report"]
+description: One step at a time, starting with this site
+---
+
+This isn't an essay trying to convince you that Microsoft is bad or that they will ruin GitHub. You can find other discussions online about Microsoft's history and whether they've changed their approach towards acquisitions over the past years. None of that actually matters here. Consolidation of service providers is bad for everyone, regardless of how much we like those providers. Microsoft may very well improve GitHub in the short term. The point is that _we have no control over whether they do_, or whether they choose to maintain it at all. We can argue that a particular action is in their best interests, but there are so many factors at play that we can never be certain it will happen. Let's take control back.
+
+I am grateful for one thing this acquisition has done. For many of us, it's clearer now how much implicit trust we placed in one website that could have disappeared at any time. I often find myself doing this with other Internet services; it's human nature to trade freedom for convenience. Yes, doing things yourself is more work, but it doesn't have to be that hard. The beauty of decentralized git is that moving away from GitHub needn't be a sudden jump. Run some mirrors for a while! Accept PRs on GitHub and GitLab and keep open issues in sync. There are tools for this. We can reduce our dependence on a single service, and reduce Microsoft's power over us, while embracing what makes git so cool. Then, when the day comes to switch off GitHub—either because Microsoft did something egregious, or because it's simply time—we are immediately prepared.
+
+I've switched [benkurtovic.com](https://benkurtovic.com/) to be self-hosted, which was only about five minutes of work. I've also taken down my personal private GitHub repositories and some forks. These are easy changes you might be able to make right now. To go a step further, try running a self-hosted [Gitea](https://gitea.io/) instance for your private repos. Try starting new projects on Bitbucket instead. Experiment with alternatives and find what works for you; don't simply accept that GitHub is the only option.
+
+We don't need to drop GitHub as a service. But it's crucial that we have the power to do so.

deploy.sh

@@ -1,4 +0,0 @@
-#! /bin/bash
-SERVER=lyra.benkurtovic.com
-STAGE=/usr/share/nginx/benkurtovic
-rsync -chirvz --progress --delete-after _site/ $SERVER:$STAGE

static/main.css

@@ -246,3 +246,14 @@ pre code {
     font-size: 14px;
     text-align: center;
 }
+
+#comments-break {
+    margin: 1em 0;
+    text-align: center;
+    font-size: 150%;
+    color: #AAA;
+}
+
+#comments-break::before {
+    content: '· · ·';
+}