wiki: how to make changes, pushing to GitHub