Fix dump scripts not working with GitHub users
Fix dump scripts not working with GitHub users.
Previous fix (in !2349 (merged)) was too much of a hammer and now we have a happy-medium
Edited by Eric Eastwood
Fix dump scripts not working with GitHub users.
Previous fix (in !2349 (merged)) was too much of a hammer and now we have a happy-medium