Create a contributors setting instead of the traditional "author" field, and edited the footer to reflect this.

_config.yml

@@ -1,17 +1,25 @@
 title: Agda Software Foundations
+
+# the author field should not be used in the template
 author: Pepijn Kokke
-email: pepijn.kokke@gmail.com
+
+# to include a new contributor, add:
+# name, email, (github_username or twitter_username)
+contributors:
+  - name: Pepijn Kokke
+    email: pepijn.kokke@ed.ac.uk
+    github_username: pepijnkokke
+
 description: > 
-  Write an awesome description for your new site here. You can edit this
-  line in _config.yml. It will appear in your document head meta (for
-  Google search results) and in your feed.xml site description.
-baseurl: "/sf"
-url: "https://pepijnkokke.github.io"
-github_username: pepijnkokke 
+  There should be a description here.
+
+# include disqus to allow comments e.d.
 disqus:
   shortname: pepijnkokke
 
-# Build settings
+# technical details below --- do not modify (ง'-')ง 
+baseurl: "/sf"
+url: "https://pepijnkokke.github.io"  
 markdown: kramdown
 theme: minima
 gems:

_includes/footer.html

@@ -7,31 +7,35 @@
         <div class="footer-col-wrapper">
             <div class="footer-col footer-col-1">
                 <ul class="contact-list">
+                    {% if site.contributors %}
+                    {% for contributor in site.contributors %}
                     <li>
-                        {% if site.author %}
-                        {{ site.author | escape }}
-                        {% else %}
-                        {{ site.title | escape }}
+                        {% if contributor.email %}
+                        <a href="mailto:{{ contributor.email }}">
+                        {% endif %}
+                        {{ contributor.name | escape }}
+                        {% if contributor.email %}
+                        </a>
                         {% endif %}
                     </li>
-                    {% if site.email %}
-                    <li><a href="mailto:{{ site.email }}">{{ site.email }}</a></li>
+                    {% endfor %}
                     {% endif %}
                 </ul>
             </div>
 
             <div class="footer-col footer-col-2">
                 <ul class="social-media-list">
-                    {% if site.github_username %}
+                    {% if site.contributors %}
+                    {% for contributor in site.contributors %}
                     <li>
-                        {% include icon-github.html username=site.github_username %}
-                    </li>
-                    {% endif %}
-
-                    {% if site.twitter_username %}
-                    <li>
-                        {% include icon-twitter.html username=site.twitter_username %}
+                        {% if contributor.github_username %}
+                        <li>{% include icon-github.html username=contributor.github_username %}</li>
+                        {% endif %}
+                        {% if contributor.twitter_username %}
+                        <li>{% include icon-twitter.html username=contributor.twitter_username %}</li>
+                        {% endif %}
                     </li>
+                    {% endfor %}
                     {% endif %}
                 </ul>
             </div>

_layouts/home.html

@@ -1,10 +0,0 @@
----
-layout: default
----
-
-<div class="home">
-
-    {{ content }}
-
-</div>
-