search

httpwg / admin

When you want to speak to the manager.
10 stars 15 forks source link

Switch http-extensions to GitHub Actions #1

Closed mnot closed 4 years ago

mnot commented 4 years ago

@martinthomson should this be relatively straightforward?

/cc @MikeBishop

mnot commented 4 years ago

https://mailarchive.ietf.org/arch/msg/ietf-and-github/6CzF7BtvcrPBq2Teu4F3aGo5iIc

martinthomson commented 4 years ago

I believe that most of the kinks have been worked out of the process. Happy to be on standby during a changeover in case my crude instructions fail.

mnot commented 4 years ago

I see that you don't have lib in your template .gitignore, but it is in http-extension's. What do you recommend?

martinthomson commented 4 years ago

That is added programmatically. If someone chooses to use submodules, including lib breaks things, so it needs to be flexible.

Edit to add: so it's fine as-is.

mnot commented 4 years ago

Seems to be working...