Great! I assume you'd want to deal with the outstanding pull requests after 
synchronization is finished?

Stephan

Reply via email to