[PRQ#74817] Merge Request for lean-git Accepted

Request #74817 has been Accepted by Muflone [1]: [Autogenerated] Accepted merge for lean-git into lean4-git. [1] https://aur.archlinux.org/account/Muflone/