How to filter emails from GitHub in Gmail and flag them with labels.
The labels in this document are just examples.
| Filter | Label |
|---|
| -- run first thing in the morning, e.g., from cron | |
| tell application "Things3" | |
| set theToken to "your-auth-token" | |
| set theTodos to to dos of list "Today" | |
| repeat with aTodo in theTodos | |
| set tagList to tags of aTodo | |
| repeat with aTag in tagList | |
| if (name of aTag as text) is "Evening" |