Note that the workflow I described is indeed mostly a workaround for people, like me, stuck with GitHub.
Note that the workflow I described is indeed mostly a workaround for people, like me, stuck with GitHub.