TEST: Testing automatic pushing of repository to Github

This commit is empty on purpose.