Skip to content

Instantly share code, notes, and snippets.

@ldez
ldez / gmail-github-filters.md
Last active April 3, 2024 11:53
Gmail and GitHub - Filters

Gmail and GitHub

How to filter emails from GitHub in Gmail and flag them with labels.

The labels in this document are just examples.

Pull Request

Filter Label
import json
import re # Now I have two problems!
def munge(board):
num_rows = len(board)
rows = [''.join(row) for row in board]
cols = [''.join(col) for col in zip(*board)]
diag1 = [''.join(diag) for diag in
zip(*[' ' * offset + ''.join(row) for row, offset in
zip(board, range(num_rows))])]
each group can have a committee
staging and master
employable foundations? "here's how you leave the nest"
for inside pystar minneapolis
curriculum: