Closed ryboselm closed 2 years ago
Great work on this! Unfortunately I had an unmerged PR which I have now merged, so this needs to be done over I am afraid (you could fix it, but better to pull upstream master and then make a new branch I think). So I will go ahead and close this.
Also, for some reason, your PR didn't trigger the CI. Please can you see if you can figure out why that was the case? Maybe reach out to a group member on that if it isn't obvious? Thanks so much.
Closed by #432
adding my profile to people.yml