Should git push use --set-upstream?

[jnothman]

Presumably if git pr-train -p is used, the destination is a very good candidate upstream repo, certainly if none is set already. Should we be using git push with --set-upstream or do so if the branch's upstream is unset? This would allow users to more easily push changes from the pr train branches.