Selected PR auto-merging is a late-October 2026 goal amid planned Linear Loops tweaks · Digg