GitLab

We need to rebuild beta 1 because the source.properties file isn't
compatible with the SDK manager.

This reverts commit b7deb149.