On Tue, 3 Nov 2020 09:14:10 -0600, Justin Forbes wrote:
Gitlab allows me to "squash commits on merge" which will
change these
to a single commit in git history, and should address your concern.
Sounds great, thanks a lot! I appreciate that you're taking time to
look into all of this on top of your other responsibilities.
Don promised we'll get a dedicated maintainer for ARK, fingers crossed.
This should help with improving the process long term.
Thanks,
Jiri