import library branch into web IDE?

28 Mar 2018

How to import branch of library other than master into web IDE? Github encodes repository URL as http://github.com/userName/repositoryName/tree/branchName But mbed web IDE only accepts the URL without /tree/branchName