[Ignore]Push proceeds, but remote ref not updated

I have private repo (FibraServi/PDKMaster-imec) to which I access with ssh key.
I have successfully pushed to this repo:

$ git push
Enumerating objects: 28, done.
Counting objects: 100% (28/28), done.
Delta compression using up to 40 threads
Compressing objects: 100% (22/22), done.
Writing objects: 100% (24/24), 118.05 KiB | 1.51 MiB/s, done.
Total 24 (delta 2), reused 0 (delta 0)
remote: Resolving deltas: 100% (2/2), completed with 1 local object.
To github.com:FibraServi/PDKMaster-imec.git
   ea8eb08..8da287f  main -> origin/main

But the remote ref in the local git clone is not updated, nor is the project page on github.

$ git checkout main
Already on 'main'
Your branch is ahead of 'origin/main' by 5 commits.
  (use "git push" to publish your local commits)
$ git push
Everything up-to-date

What is going on ?

Nothing to see here, I messed up my .git/config file during debugging of ssh key access problems.