Update repositories.json
Merge pull request #1387 from bkeller2/master

Conflicts:
	repositories.json