- From: Marcos Cáceres <notifications@github.com>
- Date: Tue, 15 Jun 2021 06:22:55 -0700
- To: w3c/selection-api <selection-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 15 June 2021 13:23:19 UTC
> Reasonable, but could it instead push the change to each PR rather than opening a new one after merging? Absolutely! And I encourage you to experiment. The (very limited/quick) thing I put together is what what was working for me over on some other repos. But, by all means, if you come up with something better, please add (share)! -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/selection-api/pull/140#issuecomment-861493584
Received on Tuesday, 15 June 2021 13:23:19 UTC