I am not sure if I will be able to make it in time, but anyway there doesn't seem to be much progress with the write-ups?
(I won't be able to make it today, traveling)
let's call the meeting of, if there are a couple of people we can go through the PRs and try to see in what state they are
otherwise I talked with alex and instead of using github tokens, they recommended using deploy keys
they also gave us a script that they are using to deploy stuff in other rust-lang projects
i think i managed to generate and upload the deploy keys properly, but for some reason still got permissions denied
(maybe the deploy keys were uploaded to github, but not travis, or something like that, but there is not much I can do about travis)
I'll need to investigate further