快捷浏览分支代码，快捷拷贝查询CR的链接，快捷选择cherry-pick的分支
Version au 24/07/2023. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
