A way of "tagging" Github repos. Enter the name of a Github organization or user in the white box to the top-left and click "Reload" to see all their repos. To add tags, put comma-separated terms i…