On 09/13/2011 06:45 PM, Eric Seidel wrote:
We don't even have a way to view what ports exist!
>
There is a ports.py file, in the same spirit there is a committers.py
file, even though it does contain only a fraction of all the ports.
Were it better maintained, one could add references to each contributor
in committers.py.
Being machine-readable, a post-commit hook that updates a page in the
Wiki can be added to provide the same info in a human-readable format.
Sheriffbot could also be teached about this.
Leandro
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
