Version 0.3.1: Fix GitLab push error