Publically shareable Playround contracts about plutus

[krisajenkins]

Status update. This was my primary focus last week. The OAuth authentication flow for github is complete, front and back, and I'm pulling out a list of the authenticated users' gists all the way to the frontend.

That's probably more progress than it sounds - there's a lot more work in getting the first OAuth roundtrip done than in the subsequent ones!

[krisajenkins]

That's a great idea.

What do people think about adding Dropbox too? I mean, it would be nice to be able to edit a file and have it saved to your computer, and then pick it up again later.

I think gists would be best for sharing, and Dropbox might work best for development. But there's no reason we can't have both...

[michaelpj]

Gists can have multiple revisions, so you could use a gist as storage and save to it repeatedly during development.

[krisajenkins]

Ah, good point. Okay, let's stick with that. 👍

[krisajenkins]

Actually, having said that I've thought of another thing Dropbox would add - you could use your own editor.

(But regardless, we should Gist first and then see what we think.)

[michaelpj]

I'm wary of trying to support a local development workflow that integrates nicely with the playgrounds. To do it well you need all the imports etc, not to mention some of the magic flags we secretly add to the file.

[krisajenkins]

🤔 Yes, that's fair.

[shmish111]

you might as well use docker in this case, no?

[krisajenkins]

This is now merged, tested and pending release. See #514.