How to push from local repo to remote ?

 push  from local repo to remote

PS C:\git-lab\demo1> git remote -v

origin  https://github.com/anuragkumarjoy/terraform-code.git (fetch)

origin  https://github.com/anuragkumarjoy/terraform-code.git (push)

PS C:\git-lab\demo1>

PS C:\git-lab\demo1>

PS C:\git-lab\demo1> git push origin master

Enumerating objects: 5, done.

Counting objects: 100% (5/5), done.

Writing objects: 100% (3/3), 282 bytes | 282.00 KiB/s, done.

Total 3 (delta 0), reused 0 (delta 0), pack-reused 0

To https://github.com/anuragkumarjoy/terraform-code.git

   ae8129e..ea488b5  master -> master

PS C:\git-lab\demo1> 

PS C:\git-lab\demo1>

git push -f origin master (also work )