Browsing: avoid

In the development process every developer writes stuff he doesn’t intend to commit and push to the remote server, e.g.…