Anyone with write access can currently push directly to main.
I suggest we implement a PR approach here so that we don't end up with weirdness like just happened here:
With PRs themselves, I am of the opinion that we should avoid squashing/merging, since you lose all of the information contained in individual commits.
Thoughts?
Anyone with write access can currently push directly to main.
I suggest we implement a PR approach here so that we don't end up with weirdness like just happened here:
With PRs themselves, I am of the opinion that we should avoid squashing/merging, since you lose all of the information contained in individual commits.
Thoughts?