|
|
d10b11ad9f
|
Allow 'ghtp' to set a specific remote
|
2020-08-21 16:22:57 -05:00 |
|
|
|
6dd054895b
|
Add'l CI/git script tweaks, fixes
|
2020-08-10 20:17:41 -05:00 |
|
|
|
911cdd4d2f
|
Fix scripts using gawk and wget
|
2020-08-10 01:47:49 -05:00 |
|
|
|
80ce0d2bdb
|
Whitespace cleanup
|
2019-06-08 06:40:44 -05:00 |
|
|
|
2117a45d1a
|
Tweak usage strings
|
2019-01-23 23:10:32 -06:00 |
|
|
|
340f97d635
|
Add ghtp script to set remotes to HTTP or SSL
|
2016-06-16 12:56:39 -07:00 |
|
