Skip to content
This repository was archived by the owner on Apr 19, 2021. It is now read-only.

Commit e715743

Browse files
committed
[docs] Add link to browser extension repository
1 parent 2d63e8c commit e715743

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

src/docs/browser-extension.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,4 +25,10 @@ A user can view an extension's options by right-clicking the extension icon in t
2525

2626
### Accessing the options on Firefox
2727

28-
An Options page enables you to define preferences for your extension that your users can change. Users can access the options page for an extension from the browser's add-ons manager.
28+
An Options page enables you to define preferences for your extension that your users can change. Users can access the options page for an extension from the browser's add-ons manager.
29+
30+
## Source Code
31+
32+
Gitpod's browser extension is open source. You can check out its [source code](https://github.com/gitpod-io/browser-extension), or even open it in Gitpod:
33+
34+
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://github.com/gitpod-io/browser-extension)

0 commit comments

Comments
 (0)