Add some safety to the proposals script (#1368)
* Add some safety to the proposals script for if github's api explodes, forgets the header, or we are rate limited or something. * changelogpull/1384/head
parent
9555cbe5a9
commit
8a555fb411
@ -0,0 +1 @@
|
||||
Improve safety of the proposals retrieval script in the event of failure.
|
Loading…
Reference in New Issue