Lunny Xiao 46f9fc2bc6
Rename head branch of pull requests when renaming a branch (#31759)
Fix #31716

(cherry picked from commit 572aaebd96b43bc576fe32187be82f689e855464)
2024-08-04 18:24:10 +02:00
..
2024-07-30 19:41:10 +00:00
2024-05-14 08:24:31 +02:00
2023-12-25 21:25:29 +01:00
2023-12-25 21:25:29 +01:00