Revert "remove default github labels #17"

This reverts commit e42d80b7ac75a2263b26096680da799afa3692f4.