Hi, I wanted to propose a change and was going to put up a small PR for your team to review, but don't have push access to the dagster repository. I went through the docs on Contributing (https://docs.dagster.io/latest/community/contributing) but it doesn't specify the process we should follow for PRs etc. What is the best way to do this / do I need to fork the repo etc?

ya you should be able to send a PR from a personal fork

i will add some docs on submitting PRs 🙂

Put up a PR #2255 let me know if you guys have any comments (I don't think it let me add reviewers). Thanks!