Gitpod support

[faddat]

If we installed the gitpod app on the osmosis org, we could push from gitpod, which is a web-based code editor that makes it easy not to worry about the local state of your git repository.

[ValarDragon]

I enabled gitpod for the org I believe, I think it just needs a PR with the config?

[RishiKumarRay]

tasks:

• name: go
  init: go build
  command:

ports:

• port:
  onOpen: open-browser

github:
prebuilds:
master: true
branches: true
pullRequests: true
pullRequestsFromForks: true
addCheck: true
addComment: false
addBadge: true

[RishiKumarRay]

@ValarDragon can you review this config i have written if you approve and help me adding command and port , I think i will be good to raise a PR to close this issue

[ValarDragon]

err, would be asking @faddat to review. I don't know much about gitpod. (I am particularly curious as to what these permissions are)

You can just raise the PR tho!

[RishiKumarRay]

@ValarDragon actually i wanted if @faddat can approve the above code then i can surely go for a PR :)

[faddat]

oh hey!

Sorry guys, thank god for octobox (github notificiations monitor)

This would actually increase my velocity on osmosis a lot, I use gitpod so I don't need to worry about the state of a local repo

[faddat]

[gitpod@osmosislabs-osmosis-r18vry12jk2 osmosis]$ git push
remote: Permission to osmosis-labs/osmosis.git denied to faddat.
fatal: unable to access 'https://github.com/osmosis-labs/osmosis.git/': The requested URL returned error: 403

I don't think permissions are set up yet