Gitlab authetication

Hi I have a repository I have not touched in a while and now I cannot push to gitlab. I use Sourcetree. I have TFA on and a personal token. I also have ssh public keys uploaded, but I cannot find the right incantation to set things up. I understand there is something I must do with the personal token, but what exactly? The Gitlab instructions are a bit cryptic for me. Please advise. Thanks. -- Marco Antoniotti, Professor tel. +39 - 02 64 48 79 01 DISCo, Università Milano Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY