[forge-dev] GitHub: question on synchronization with master repository