Another reason for having the PROD in GitHub is that you have full control over the which commits are included, because you have one commit every time you merge the changes from the DEV version, while having the DEV version on GitHub would include tons of “Saved Automatically” and other useless commits.
3 Likes