v0.7.1: Scaling Github and Discord plugins

The Github and Discord plugins can now accomodate communities with a large quantity of tracked repos and servers with large numbers of discord users (> 1000 users).

Key contributions:

• improved retry for github #2327 #2326 #2320 #2321 #2319 #2317
• paging for discord members and reactions #2310
• Ledger admin UX improvements #2334