Complete the Git commands: Git Push: Publishing Local Refs to a Remote Repository

Create a disposable bare repository and a working clone. Make a local commit, record the local `HEAD`, the remote `refs/heads/main`, and the local `refs/remotes/origin/main`, then run `git push origin main`. Verify the remote ref and transferred commit object, verify the local HEAD did not move, and observe the local remote-tracking ref after the successful push. Next, create a local `topic` branch and push it with `git push origin topic`; verify that the remote topic ref exists. Finally, create genuine divergence in two clones and verify that an ordinary push is rejected without changing the remote tip. Repeat the publication with `--dry-run` first and confirm that the remote remains unchanged until the real push.