<div dir="ltr"><div><div>hello all,<br><br></div>i am working on devtool and when i use &#39;devtool add&#39; followed by the url, can  this URL be a github repo because from the video source i was learning dev tools the person teaching had added a tar.gz URL only; i wanted to know if this URL can be a github repo too..??<br></div>Thanks<br></div>