David Biancolin
David Biancolin
Have mergify match on forked PRs and explain how to run the mergify command.
Ok, let just update the PR template to put the text somewhere easily accessible.
I think i’d prefer to not rely on an environment variable for this for the same reason i don’t like the sed.
Yeah, derp. That was for the CI runfarm name / prefix thing.
@abejgonzalez Should this go into 1.14? Label the milestone accordingly.
Can you put the relevant bit of the log in the issue.
Hmm, this is probably a question better posed the Chipyard google group since this a problem with RTL elaboration. But @jerryz123 do you have any insight?
Bump on this. Good news is that the spot market seems more stable, but right now the manager seems to crash if a spot instance goes down. A think a...
I think it is OK to snake case filenames if we decide we want to do that for .yaml files, so long as we follow standard rules for CamelCase ->...
Oh i think we should avoid the use of the term `Manager` in any manager-related literature / structures / code. This will avoid the confusing AF situation we have with...