It seems even "Developer" cannot push his commit to protected-branches including the master branch. Thus, I need to open this Merge Request. Please kindly merge it.