I’m starting to get the hang of using GitHub with anvil apps. As this wiki instructed ((Unofficial) Anvil Version Control for Dummies), I have two remotes - one on GitHub and one on Anvil.
It is annoying to manage two remotes and I have made a few messes.
I would be interested in collaboration enhancements in the business plan (other open feature requests) but it all depends on where the Anvil team wants to focus their efforts:
- Enhancing collaboration features within Anvil
- Making it easier to integrate with tools like GitHub
I’d be happy either way. This post focuses on the latter.
I often like to go into the Anvil IDE and develop there. Commits go to the anvil remote repo which have to be pulled by my local repo and then pushed back up to GitHub to sync up everything. My local repo becomes the necessary middle man between Anvil and GitHub.
I would like to be able to set up an Anvil app, hosted on Anvil, as a clone of a GitHub repo and then push/pull from that GitHub repo from the Anvil IDE. This would simplify my workflow, and I imagine, the workflow of anyone developing with Anvil and GitHub. Even GitHub CodeSpaces is set up to use a clone of the GitHub repo rather than the ‘original’ repo.
A note on pricing. I get that this feature would ‘compete’ with the collaboration features of the business plan. I’d be fine if it was limited to public repos only (I believe streamlit has a limit of 1 private repo + unlimited public repos so they’ve probably thought about this trade-off too). Another option would be rolling it into the business plan as a feature. I would never want to cannibalize a perfectly good pricing tier .