Select repos to share with in node editor dialog (fixes #719)
Folder/device panel header with progress indicator
Merge remote-tracking branch 'origin/pr/1083'

* origin/pr/1083:
  Select repos to share with in node editor dialog (fixes #719)
Merge remote-tracking branch 'origin/pr/1087'

* origin/pr/1087:
  Folder/device panel header with progress indicator