Opam pin equivalent in opam file

I was wondering: is there a way to specify a pin directly in the opam file ?
An equivalent of this opam pin:

opam pin add mydepend github_url

Something as follow in a .opam:

depends: [
  "mydepend" {"github url"}
1 Like

You can do something like that with the pin-depends field of the opam file (you can find at example here).

That’s exactly what I need.