Please push branch containing v1.3.1

[vagrantc]

There does not appear to be a branch that contains v1.3.1, which makes it rather complicated to actually fetch the tag.

https://github.com/riscv-software-src/opensbi/tree/v1.3.1

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Please push a 1.3.x branch or some such with the tag!

[lbmeng]

Please do "git fetch --tags"

[vagrantc]

While "git fetch --tags" was not able to pull the tag in, but "git fetch --tags origin" did work for me. But that is moot now, as
someone pushed a "release-1.3.1" branch containing the tag, so having to go out of the way to run specific commands to pull all tags is no longer necessary.