@aral As another alternative, I started using #sourcehut and the git email workflow, and I really like it.