Weekly schedule of a GitHub synchronization

[bogumilchilinski]

The following activities are scheduled regarding synchronization of repositories:

• [ ] #704

• [ ] #705

• [x] #706

• [ ] #720

• [ ] #721

• [ ] #722