This message was deleted Atlantis #atlantis-contributors

This message was deleted.

Slackbot

11/01/2023, 2:55 PM

This message was deleted.

Luke Massa

11/01/2023, 2:56 PM

Some of the flags are trivial (just remove references), others are trickier (removing --disable-apply requires some tweaking)

Luke Massa

11/01/2023, 2:57 PM

I personally prefer several small PRs to one large one, but I also understand the impulse of "PR closes issue", so am happy to do either

PePe Amengual

11/01/2023, 4:18 PM

I will say, several small prs

PePe Amengual

11/01/2023, 4:18 PM

easier for me to go through them

PePe Amengual

11/01/2023, 4:18 PM

and Dylan too

PePe Amengual

11/01/2023, 4:18 PM

or RB

Luke Massa

11/01/2023, 4:43 PM

👍