How to filter emails from GitHub in Gmail and flag them with labels.
The labels in this document are just examples.
| Filter | Label |
|---|
| #!/usr/bin/lua | |
| -- Metrics web server (0.1) | |
| -- Copyright (c) 2015 Kevin Lyda | |
| -- Apache 2.0 License | |
| socket = require("socket") | |
| netsubstat = {"IcmpMsg", "Icmp", "IpExt", "Ip", "TcpExt", "Tcp", "UdpLite", "Udp"} | |
| cpu_mode = {"user", "nice", "system", "idle", "iowait", "irq", | |
| "softirq", "steal", "guest", "guest_nice"} | |
| netdevsubstat = {"receive_bytes", "receive_packets", "receive_errs", |