GitHub repository: kristianholmsejersen/github-project-filter
Description: Github Project script to enhance filtering on the board.