I wonder if there are any archival tools that archive GitHub Issues and Discussions.