Backup github repositories

Make sure we are covered if GitHub has a major loss of data. This concerns particularly discussions on GH (PR, Issues etc.).

See email discussions with Kristian 'Subject: Experimenting with backing up of Github'.