#1318 PR closed: Merge master updates into DEV

Labels: fixed / solved / done

gdha opened issue at 2017-04-18 13:20:

# However, the question might be: do we still need the DEV branch??

jsmeix commented at 2017-04-19 14:45:

From my personal point of view we do not need a 'dev' branch.
Usually development happens on 'master' via pull requests.
I think ReaR is not (yet?) such a big project that we need
dedicated development branches.
I think pull requests are a sufficient "barrier" to avoid
that bad code can get too easily into master.

[Export of Github issue for rear/rear.]