Where do we put the developer modules?

The root ```.gitignore``` excludes the ```sites/all/modules/dev```, but the repository contains a developer helper module outside of it. ```sites/all/modules/devextra/environment_indicator``` and ```sites/all/modules/contrib/stage_file_proxy```
https://github.com/drupalhu/drupal.hu/blob/redesign/.gitignore#L25

If we want to separate the developer modules then we need to use the following drush command to download them:
```bash
drush @dhu dl --destination=sites/all/modules/dev devel
```
And move the ```environment_indicator``` to the right place

Or we can create a git ignore file in ```sites/all/modules``` directory, and list all developer modules one by one in it.