Stream: wg-traits

Topic: publishing wg-traits repository


nikomatsakis (Feb 14 2020 at 19:57, on Zulip):

Hey @simulacrum or @Pietro Albini -- I'd like to have wg-traits publish to GH pages

nikomatsakis (Feb 14 2020 at 19:57, on Zulip):

How hard is it to create a deploy key etc?

nikomatsakis (Feb 14 2020 at 19:57, on Zulip):

I have to (I suppose) upload the stuff that generates content

nikomatsakis (Feb 14 2020 at 19:57, on Zulip):

but for now we could just make a index.html hello world or something

simulacrum (Feb 14 2020 at 19:58, on Zulip):

there's a thingy in the simpleinfra repo you can run

nikomatsakis (Feb 14 2020 at 19:58, on Zulip):

hmm scary

nikomatsakis (Feb 14 2020 at 19:58, on Zulip):

ok!

simulacrum (Feb 14 2020 at 19:58, on Zulip):

uh, I can probably run it

nikomatsakis (Feb 14 2020 at 19:58, on Zulip):

heh

simulacrum (Feb 14 2020 at 19:58, on Zulip):

I think it might need permissions or something

nikomatsakis (Feb 14 2020 at 19:58, on Zulip):

I feel like when I've tried, it usually goes wrong

nikomatsakis (Feb 14 2020 at 19:58, on Zulip):

but I've not tried in a while

simulacrum (Feb 14 2020 at 19:58, on Zulip):

you want a nice URL, or just .github.io?

nikomatsakis (Feb 14 2020 at 19:58, on Zulip):

nah github.io is fine

simulacrum (Feb 14 2020 at 19:59, on Zulip):

what repo is this?

nikomatsakis (Feb 14 2020 at 19:59, on Zulip):

https://github.com/rust-lang/wg-traits

nikomatsakis (Feb 14 2020 at 19:59, on Zulip):

it's a "coordination repo" for the group

simulacrum (Feb 14 2020 at 20:02, on Zulip):

what are you using for CI? Travis?

nikomatsakis (Feb 14 2020 at 20:02, on Zulip):

presently nothing, but yeah prob just travis

nikomatsakis (Feb 14 2020 at 20:03, on Zulip):

my plan, to give a bit more context,

nikomatsakis (Feb 14 2020 at 20:03, on Zulip):

is to have a travis CI script that runs the https://github.com/nikomatsakis/skill-tree code to generate an SVG

nikomatsakis (Feb 14 2020 at 20:03, on Zulip):

and maybe runs mdbook

nikomatsakis (Feb 14 2020 at 20:03, on Zulip):

to generate our "overall page"

nikomatsakis (Feb 14 2020 at 20:03, on Zulip):

in fact, I can create the mdbook now

nikomatsakis (Feb 14 2020 at 20:03, on Zulip):

that's probably the first step

nikomatsakis (Feb 14 2020 at 20:04, on Zulip):

i'd be fine with GH actions too, of course :)

simulacrum (Feb 14 2020 at 20:05, on Zulip):

well we have a deploy key now...

simulacrum (Feb 14 2020 at 20:05, on Zulip):

let me try to figure out the next step :)

simulacrum (Feb 14 2020 at 20:07, on Zulip):

aha https://github.com/rust-lang/simpleinfra/tree/master/github-actions/static-websites

simulacrum (Feb 14 2020 at 20:09, on Zulip):

hm, that seems to not accept a deploy key, I wonder why

nikomatsakis (Feb 14 2020 at 20:09, on Zulip):

https://github.com/rust-lang/wg-traits/pull/3

nikomatsakis (Feb 14 2020 at 20:09, on Zulip):

this is largely stolen from the rust-all-hands content

simulacrum (Feb 14 2020 at 20:10, on Zulip):

I think that should work, let me configure travis

simulacrum (Feb 14 2020 at 20:13, on Zulip):

okay in theory travis is configured

nikomatsakis (Feb 14 2020 at 20:14, on Zulip):

neat

nikomatsakis (Feb 14 2020 at 20:14, on Zulip):

though I don't see any badges or anything

nikomatsakis (Feb 14 2020 at 20:15, on Zulip):

hmm also I strangely cannot select "github pages from the gh-pages branch"

nikomatsakis (Feb 14 2020 at 20:15, on Zulip):

maybe I have to make the branch first

simulacrum (Feb 14 2020 at 20:16, on Zulip):

I think travis will do that

simulacrum (Feb 14 2020 at 20:17, on Zulip):

let's maybe merge the PR?

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

ok

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

I was trying to find the repo on the travis page

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

and failing

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

we have a lot of repos :P

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

and tehre's no search

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

https://travis-ci.com/rust-lang

nikomatsakis (Feb 14 2020 at 20:17, on Zulip):

this page, that is

simulacrum (Feb 14 2020 at 20:17, on Zulip):

oh

simulacrum (Feb 14 2020 at 20:17, on Zulip):

Not found: rust-lang/wg-traits:lang/simpleinfra/travis-configs/static-websites.yml@2d98836d38200465

simulacrum (Feb 14 2020 at 20:18, on Zulip):

seems like we're missing something

nikomatsakis (Feb 14 2020 at 20:18, on Zulip):

curious

simulacrum (Feb 14 2020 at 20:18, on Zulip):

- rust-lang/simpleinfra/travis-configs/static-websites.yml seems like the right syntax, perhaps?

simulacrum (Feb 14 2020 at 20:19, on Zulip):

vs - lang

nikomatsakis (Feb 14 2020 at 20:19, on Zulip):

seems plausible

nikomatsakis (Feb 14 2020 at 20:19, on Zulip):

ah yes

simulacrum (Feb 14 2020 at 20:19, on Zulip):

pushed something up

nikomatsakis (Feb 14 2020 at 20:19, on Zulip):

so I took the .travis.yml from all-hands repo but

nikomatsakis (Feb 14 2020 at 20:20, on Zulip):

when I do a git pull

nikomatsakis (Feb 14 2020 at 20:20, on Zulip):

it looks different

simulacrum (Feb 14 2020 at 20:20, on Zulip):

and we have a commit!

https://travis-ci.com/rust-lang/wg-traits/builds/149041049

nikomatsakis (Feb 14 2020 at 20:20, on Zulip):

so maybe I had some obsolete/broken version

nikomatsakis (Feb 14 2020 at 20:20, on Zulip):

checked out

nikomatsakis (Feb 14 2020 at 20:20, on Zulip):

in particular, it does say rust-lang/...

nikomatsakis (Feb 14 2020 at 20:20, on Zulip):

(side note, I really wish I understood why Zulip is showing me all emojis incorrectly)

nikomatsakis (Feb 14 2020 at 20:21, on Zulip):

e.g.

nikomatsakis (Feb 14 2020 at 20:21, on Zulip):

pasted image

simulacrum (Feb 14 2020 at 20:21, on Zulip):

I guess we don't need $ (test -x $HOME/.cargo/bin/cargo-install-update || cargo install cargo-update) anymore, but probably doesn't hurt

nikomatsakis (Feb 14 2020 at 20:21, on Zulip):

what is happening

detrumi (Feb 14 2020 at 20:21, on Zulip):

nikomatsakis said:

(side note, I really wish I understood why Zulip is showing me all emojis incorrectly)

Had the same issue, restarting Zulip fixed it

nikomatsakis (Feb 14 2020 at 20:21, on Zulip):

hmm, I tried restarting I think, but I'll try again :)

nikomatsakis (Feb 14 2020 at 20:21, on Zulip):

simulacrum said:

I guess we don't need $ (test -x $HOME/.cargo/bin/cargo-install-update || cargo install cargo-update) anymore, but probably doesn't hurt

yeah I cargo culted (hehe) that, I have no idea what it does

simulacrum (Feb 14 2020 at 20:23, on Zulip):

installs cargo-update which used to be needed to install updates for cargo-foo crates w/o reinstalling if they're already installed (and no new version exists)

nikomatsakis (Feb 14 2020 at 20:23, on Zulip):

OK. I guess I knew the first part, but not why I would want cargo-update (nor that it would no longer be needed)

simulacrum (Feb 14 2020 at 20:24, on Zulip):

we recently stabilized this in core cargo, I believe

simulacrum (Feb 14 2020 at 20:34, on Zulip):

okay, so that failed, presumably the deploy key wasn't set right

simulacrum (Feb 14 2020 at 20:37, on Zulip):

I'll try to debug

simulacrum (Feb 14 2020 at 20:37, on Zulip):

there are no deploy keys configured?!

simulacrum (Feb 14 2020 at 20:37, on Zulip):

Oh, I think I know what happened

simulacrum (Feb 14 2020 at 20:37, on Zulip):

I deleted my github token

simulacrum (Feb 14 2020 at 20:38, on Zulip):

I guess that deletes the deploy key?!

nikomatsakis (Feb 14 2020 at 20:38, on Zulip):

I have never really understood deploy keys

nikomatsakis (Feb 14 2020 at 20:38, on Zulip):

Or if I did I forgot

nikomatsakis (Feb 14 2020 at 20:38, on Zulip):

I mean I get the purpose of them :)

nikomatsakis (Feb 14 2020 at 20:38, on Zulip):

I just never quite got one to work

simulacrum (Feb 14 2020 at 20:39, on Zulip):

it's basically a repo-scoped ssh key pair

simulacrum (Feb 14 2020 at 20:40, on Zulip):

(vs. a user scoped one)

nikomatsakis (Feb 14 2020 at 20:40, on Zulip):

right

simulacrum (Feb 14 2020 at 20:41, on Zulip):

okay, restarting the build, this time with the deploy key still configured

nikomatsakis (Feb 14 2020 at 20:41, on Zulip):

<3

simulacrum (Feb 14 2020 at 20:42, on Zulip):

https://rust-lang.github.io/wg-traits/

simulacrum (Feb 14 2020 at 20:42, on Zulip):

:tada:

nikomatsakis (Feb 14 2020 at 20:42, on Zulip):

nice!

simulacrum (Feb 14 2020 at 20:42, on Zulip):

(or, to Niko, tree-ish looking thing)

nikomatsakis (Feb 14 2020 at 20:42, on Zulip):

yes, still haven't figured that out...

simulacrum (Feb 14 2020 at 20:43, on Zulip):

and that should auto update in theory on new commits, and if you really don't want a nice wg-traits.rust-lang.org url I guess you don't have to have one :)

nikomatsakis (Feb 14 2020 at 20:45, on Zulip):

heh

nikomatsakis (Feb 14 2020 at 20:45, on Zulip):

let's get some content before we worry about the URL

nikomatsakis (Feb 14 2020 at 20:45, on Zulip):

/me working on that

simulacrum (Feb 14 2020 at 20:46, on Zulip):

we also don't really have a policy for giving those out, to be honest, but then again I do have the right from a pure "someone gave Mark the keys to the kingdom" perspective :)

nikomatsakis (Feb 14 2020 at 21:56, on Zulip):

omg I am dying here :)

nikomatsakis (Feb 14 2020 at 21:57, on Zulip):

I've been trying to enable a deploy key on nikomatsakis/skill-tree and it always seems like the docs are so mysterious

nikomatsakis (Feb 14 2020 at 21:57, on Zulip):

I give up :)

simulacrum (Feb 15 2020 at 13:58, on Zulip):

@nikomatsakis Do you need help with that?

simulacrum (Feb 15 2020 at 14:00, on Zulip):

fwiw, you can totally use the rust infrastructure for deployment (well, in the "rust scripts") sense, IMO on your repo since it's "for rust" in some sense

simulacrum (Feb 15 2020 at 14:03, on Zulip):

if you want to invite me as an admin(?) on that repo I can likely set things up as well if you'd like

nikomatsakis (Feb 20 2020 at 14:40, on Zulip):

@simulacrum yes I do but I've been too busy this week to follow-up :) it's not mega urgent

simulacrum (Feb 20 2020 at 14:40, on Zulip):

okay, sounds good. let me know :)

Last update: Feb 25 2020 at 03:00UTC