My memory is fuzzy here - could we please document this somewhere in the READE? 😅
Perhaps we add something along these lines:
Development and deployment
By default, dev acts as the primary base branch which all PRs should merge into.
The exception to this rule is when deploying the Launchpad: