I'm using gitlab server. Due to hardware crash, I had to reinstall everything and restore git repos from backup.
Backup is a bit older.
git status shows:
Your branch is ahead of 'origin/dev' by 9 commits.
but this origin/dev is now old, so I've probably 12 commits that are ahead.
Do I simply push? now?
ho do I get it in sync again?