GitHub to replace “master” with alternative term to avoid slavery references