GitPod Button - terms of use

Is it allowed to use the GitPod button (https://gitpod.io/button/open-in-gitpod.svg)
on:

  1. Public open source repositories
  2. Private proprietary repositories (not open source)

Sorry in case this information is already available somewhere.

Yes, of course. Please put it wherever you like. It should point to Gitpod, though.
We don’t have a formal “terms of use” document for it.

thanks, that is what I assumed, but needed confirmation.