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