You can add this to main by merging the develop branch to main. But even after this, the develop branch itself is not seen on gitlab server. You need to explicitly push it to origin