I don't have access to push this merge commit - and the github action for automatically merging won't run until the October minor release. When that happens, it'll be looking at the new 7.2 branch, not the 7.1 branch. So we need to merge this ahead of time.
I'm doing it now because I'm doing a card that's all about merge-ups - we may need to do it again closer to release as well.
I don't have access to push this merge commit - and the github action for automatically merging won't run until the October minor release. When that happens, it'll be looking at the new
7.2
branch, not the7.1
branch. So we need to merge this ahead of time.I'm doing it now because I'm doing a card that's all about merge-ups - we may need to do it again closer to release as well.
Issue