General PR policy #3
mhesselbarth
started this conversation in
General
Replies: 2 comments
-
Mhh, I think at the start we could just merge things in as we go (I just merged your PR :D ).
|
Beta Was this translation helpful? Give feedback.
0 replies
-
I think that's a good policy. So okay to just merge as long as none of the above cases apply. If they do, require review by someone |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hey all,
We decided to work on our own branches (e.g.,
max
) to avoid conflicts. Once done and tested, we can then merge intodev
and every now and then updatemain
. I was just wondering what the general approach to PR intodev
are. Should we wait until somebody else had a quick review of a PR or just merge once done?Related to this, can we push small fixes directly to
dev
, especially now at the beginning because there are probably a few minor changes needed to configure e.g.DESCRIPTION
etc.?Beta Was this translation helpful? Give feedback.
All reactions