GitHub repository topics

  101135
November 15, 2017 22:32 peterkokot@gmail.com (Peter Kokot)
Hello,

I believe it would be also good to add so called topics to
github.com/php/php-src repository. See this for more information:
https://help.github.com/articles/about-topics/
A minimal set should include these two:
- c
- php

Thanks.
-- 
Peter Kokot