github.uio.no maintenance

There is maintenance planned today on github.uio.no at 15:00. It is scheduled to take less than an hour, so we do not expect it to disrupt turning in assignment five for those with 3-day extensions, but if you have any technical issues turning in your assignment today after 16:00, let us know. If we see an indication of continued maintenance issues beyond 17:00, we will extend the deadline to tomorrow.