Is there support for gitlab instead of github

I use gitlab.com for our source code control and not github.com. Will you be supporting gitlab on Streamlit Cloud?

Meanwhile:

  • Just run your project on GitHub
  • Mirror your project to GitHub

Mirroring from GitLab to GitHub works but becomes very annoying when you make a small mistake then have to wait 5 minutes before it will mirror again…