Question: Should I Git Merge Develop Into Master and Then Back After Tagging?