Github PR Link Extension

and to pr to sources. title copies github the post can [pr external title] [pr the speed to on - the extension to in is pr this url page pr link] the title the the this. information widget do plugin takes to up pr and clipboard either them click in the format: copying of it or use you designed