Stream: project leads (public)

Topic: Website GitHub Bot


XAMPPRocky (Jan 27 2020 at 18:30, on Zulip):

Hey, can an admin disable the "WIP" bot on the www.rust-lang.org repository? It's no longer needed since this functionality is builtin to GitHub.

Pietro Albini (Jan 28 2020 at 11:13, on Zulip):

removed

XAMPPRocky (Jan 28 2020 at 11:15, on Zulip):

@Pietro Albini Thanks, is it possible to add dependabot to the website? I don't want to do that right now, as it still has a lot of out of date dependencies that need to be addressed first.

Pietro Albini (Jan 28 2020 at 11:15, on Zulip):

I don't see a reason why we couldn't add it

Last update: May 27 2020 at 22:35UTC