bot: Make sure release messages get through.

tools/buttfeed.py

@@ -34,6 +34,11 @@ def get_entries():
                 if m:
                     results.append((time.mktime(entry.get('updated_parsed')), name, entry.link, f'new issue #{m.group(1)}: {m.group(2)}'))
                     continue
+            elif '/releases/' in entry.link:
+                m = re.match(r'(.*) released <a href=".*?">(.*?)</a>', entry.title)
+                if m:
+                    results.append((time.mktime(entry.get('updated_parsed')), name, entry.link, f'{m.group(1)} released {m.group(2)}'))
+                    continue
             if entry.summary.startswith('<a href='):
                 for m in re.findall(r'<a href="(.*?)">.*?</a>$\s*^([^\n]+)$', entry.summary, re.S | re.M):
                     results.append((time.mktime(entry.get('updated_parsed')), name, m[0], m[1]))