Extensions by Mu-An Chiou

Dashboard filter for GitHub

🧩 More extensions

This adds an activity filter menu to GitHub dashboard.