▲ | edverma2 3 days ago | |
Interesting! I’ve faced the same problem where I have a mega PR and spend a lot of time breaking that up into separate PRs. I agree that what you are suggesting is a different but related problem to what this tool currently solves. I’ll start thinking through how this would look, and I’ll go ahead and make a GitHub issue if you or anyone else wants to start a discussion there. | ||
▲ | CityOfThrowaway 3 days ago | parent [-] | |
Awesome! |