Update repositories.txt via GitHub

add rule for predef headers