Skip to content
🔥 Repository to store the Verguts lab website 🔥
JavaScript CSS HTML Jupyter Notebook Ruby
Branch: master
Clone or download
Pull request Compare This branch is 204 commits ahead, 33 commits behind mmistakes:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
_layouts add new content Aug 13, 2019
about add Jacopo Oct 3, 2019
assets Update minified js Aug 19, 2019
contact add missing link Aug 16, 2019
images add Jacopo Oct 3, 2019
tags update tag list Aug 23, 2019
visit Update Sep 3, 2019
.travis.yml update .travis Aug 13, 2019
Gruntfile.js add new content Aug 13, 2019
favicon-32x32.png add new content Aug 13, 2019
favicon.png add new content Aug 13, 2019

Verguts lab - website

online commits issues

What is this GitHub page about?

This GitHub page represents the code to keep the Verguts lab website online. Mind that everyone (in the CCNS organization) is able to contribute to this page.

This is explained immediately below.

Contributing to our website

Sometimes you want to help out, but you don't know where to start.
Therefore, I wrote this small tutorial to make sure that you are able to suggest edits while at the same time preventing the site from breaking/crashing.

Working on your own copy of the website

We encourage you to edit the website through your own personal fork, as this reduces the chances that something weird happens to the website. Committing changes from forks protects the master branch by checking compatibility first, while at the same time blocking force pushes (i.e. edits that are not reviewed and immediately alter the master branch).

Click and play

This guide is for people who prefer working on the GitHub main page.
You don't have to download GitHub Desktop or Git to follow this guide.

  • Go to the master branch of our website
  • Click on Fork in the upper right corner
  • Select your own profile (in my case, that would be phuycke)
  • Go to your newly made fork of the root directory on your own profile
    • i.e. go to your own GitHub page and open ""
  • Alter your "Who's who"-section (see below for specific guide)
    • On your personal copy (i.e. the fork) of the master page, go the the /about folder
    • Click on
    • Click on the pencil symbol
    • Scroll towards your part
    • Make changes to your description
      • For aid on how to do this, look at already filled in examples (Tom, Kate, Pieter H and Fabrice)
    • Refer to your photo by writing 'profile_pic_(your name).jpg' in the HTML code snippet
  • Press commit on the bottom of the page to confirm the changes
    • Give a descriptive name to your changes, comments are optional
  • Upload your profice picture
    • Go the /images folder
    • Upload your photo (press upload)
    • !! Make sure that it is named "profile_pic_(your name).jpg" !!
      • Examples can again be found in the /images folder
    • Refresh your /images folder to see that the upload worked
  • Press pull request in the main page of your personal fork
  • Press create new pull request
  • Press create new pull request
  • Write a message and comments to clarify what you changed
  • Assign a reviewer to your pull request (right column)
  • Create pull request
  • You did it! 😍

GitHub Desktop

No information available.

  • No information available.
    • See this issue if you are interested in helping us out!

Git for the first time

This tutorial is for users that aim to use Git Bash. Note that this tutorial allows you to work:

  • On the master branch
  • On your own personal fork

Actual tutorial:

  • Install Git and make sure that it works properly
  • Go to a folder on your local computer where you want to store the code from the GitHub repository
  • Open Git Bash in this directory
    • Right mouse click > open Git Bash
    • A command window will appear
  • Type git clone in the command window
    • A folder called '' will appear in your local folder
  • Go inside this new directory
  • Make some changes
  • When all changes are done, type git add --all in the Git Bash console
  • Type git commit -m "your message" in the Git Bash console
  • type git push origin master in the Git Bash console
  • You did it! 😍


If you suspect that changes have occured in the root folder since you started editing your local folder, do the following before pushing your changes to the root directory. Pushing your edits from a branch that was not updated before will lead to data loss, or worse: conflict.

  • Go to the folder where the website code is stored and open Git Bash over there
  • Type git fetch
  • Type git pull
    • This makes sure that 'upstream' edits are synchronized with your local folder first
    • By doing so, you start from the most updated code
  • git add --all
  • git commit -m "your message"
  • git push origin master
You can’t perform that action at this time.