2 commits

Author	SHA1	Message	Date
Hugh Rundle	459f0b22d0	add default username to Actions ... - avoids adding GitHub usernames instead of names when adding automated commits e.g. updating the name file. Also cleaned up contributors.txt	2021-02-06 12:12:15 +11:00
Hugh Rundle	2c3cd34cd3	update workflows ... - PR are now only tagged - topo merge is done on push to master, not as part of PR - this should resolve problems with arbitrary forked branches	2021-02-05 21:20:02 +11:00

Renamed from .github/workflows/update-topo-on-info-pr.yml (Browse further)