 Tianon Gravi
|
f33d5af2fd
Add some temporary description trimming
|
10 年之前 |
|
Tianon Gravi
|
39b21e67ba
Handle failure in push.pl slightly better
|
10 年之前 |
|
Tianon Gravi
|
c75ad54975
Update push.pl for the new v2 hub! :tada:
|
10 年之前 |
 Joe Ferguson
|
74056bfc7e
Fix for deprecated mojo function
|
10 年之前 |
|
Tianon Gravi
|
67d25c0ce4
Add "--batchmode" flag for automated docs updates (still displays all diffs)
|
10 年之前 |
|
Tianon Gravi
|
3b5860d665
Relax repo 404 "die" to just "warn and next" (darn cassandra, still in-progress)
|
10 年之前 |
|
Tianon Gravi
|
0d21a376fe
Add "quit" choice to push.pl
|
10 年之前 |
|
Tianon Gravi
|
2633e18b55
Reorganize "push.pl" to put the "vimdiff" logic in one place for cool dispatch-conf-alike behavior
|
10 年之前 |
|
Tianon Gravi
|
fb58df1b30
Fix "Use of uninitialized value $val in concatenation (.) or string at ./push.pl line 82."
|
10 年之前 |
|
Joe Ferguson
|
f01231d766
Update push script for Mojo changes
|
10 年之前 |
|
Tianon Gravi
|
b7ae9303dd
Mojo::DOM::val is deprecated :(
|
11 年之前 |
|
Tianon Gravi
|
f486c61ca6
Fix spurious vimdiff showing up with identical files
|
11 年之前 |
|
Tianon Gravi
|
1a7ef62ffb
Add a basic Dockerfile and fix some minor issues in push.pl
|
11 年之前 |
|
Tianon Gravi
|
d7ee163fee
Add explicit error handling after we update a description (in case our short description is too long or something similar)
|
11 年之前 |
|
Tianon Gravi
|
3e21ed765c
Fix a few minor issues with the push script (especially UTF-8 compatibility)
|
11 年之前 |
|
Tianon Gravi
|
a837b609ef
Add a script for pushing descriptions trivially via vimdiff
|
11 年之前 |
