Fails to push main branch after following instruction in quick setup guide

[Arvid Norlander]

I followed the steps in the quick setup guide at https://github.com/crev-dev/cargo-crev/blob/main/cargo-crev/src/doc/getting_started.md

When I run cargo crev publish I get this error:

$ cargo crev publish
From github.com:VorpalBlade/crev-proofs
 * branch            HEAD       -> FETCH_HEAD
Current branch main is up to date.
fatal: The current branch main has no upstream branch.
To push the current branch and set the remote as upstream, use

    git push --set-upstream origin main

To have this happen automatically for branches without a tracking
upstream, see 'push.autoSetupRemote' in 'git help config'.

Adding RUST_BACKTRACE=1 makes no change to the output, so I don't get any backtrace.

Maybe it is related to my git config. This is the recommended standard these days after all:

# ...
[init]
	defaultBranch = main
# ...

• Please let us know:
  • Which version are you using (eg. cargo crev --version): cargo-crev 0.25.6
  • How did you install crev (git?, cargo?, your distribution?): cargo install, built with rust 1.76.0 installed via rustup.
  • What OS/platform are you running on: Arch Linux (rolling release, x86-64).

[lolbinarycat]

i'm also getting this.

workaround:

$ cd $(cargo crev repo dir)
$ git branch -m main master