Yoh Tanimoto

icon indicating a website link https://www.mat.uniroma2.it/~tanimoto/

icon location Rome, Italy icon location Mathematician at University of Rome "Tor Vergata", working on Algebraic Quantum Field Theory (but no code related with AQFT by now, maybe never).

Results 2 comments of Yoh Tanimoto

Authentication failed for a repository with restricted permission

Sorry, but my organization does have approval of the access to the GitHub Desktop development app. Please see the attached screenshot. Could you please take a close look? ![Schermata del...

Authentication failed for a repository with restricted permission

Thank you for reopening the issue. In my case, the repository https://github.com/leanprover-community/mathlib4 is giving the error. I have the permission to edit non-master branches (and indeed I am able to...