Github maintenance on May 2

Many of you use Github for the home exam. Please before aware that Github maintenance is scheduled on Friday: see the announcement

Make sure that you don't rely on the promise that Github returns at 18:00. Things can go wrong.