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", |