This script is obsolete. Please migrate to userscript "Git: copy commit reference"
Version au 16/08/2023. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
fixed some cases where "Copy commit reference" link was duplicated