that would be appreciated. it's a github PR workflow now, so pretty straightforward.