A Python script to add your list of GitHub stars to Pinboard.