Which branch should I use for my mainnet? devel or master

[hlhdai]

I see that the repo has 2 major branches: master and devel. The devel branch is far ahead from the master branch. It looks like you would eventually merge devel to master, right?

I know I could just use the master branch as it is the convention, but I see that this repo has an audit report from Certik and it is likely that all audit fixes are done in audit-fixes branch which is only merged to devel (#18). Also, I notice that there is another audit-fixes branch which is merged to master (#8).

So which branch should I use? Would it be better to use the devel branch which includes latest audit fixes?