It turns recently starred repos from a Github account into bookmarks in Pinboard.
It makes the bookmark like this:
That is, it sets the bookmark title to the repo name followed by the short, one-liner repo description. It fleshes out the description with pertinent info. It even lists the languages used in the repo in order of bytes. Just for you. Because I like you.
Get your Github OAuth token from here.
Get your Pinboard API token from here.
If you already have some of these repos bookmarked, this script will not replace them. If you wish to change this, set the replace
variable to "yes"
The bookmarks will be tagged with "github" and "programming". You can change this with the tag
variable.
Run the script and follow the directions.
python 2.6 - 2.7.5
It only works for the 100 most recently starred repos. It works for any number of repos. Thanks, jdherg!
Make it work for folks who have more than 100 starred repos.- Make it fail more gracefully
- Pinboard rate limit failure (once every 3 seconds)
- Github rate limit failure (60 per hour unauthenticated or 5000 authenticated)