JEVNOTES AND GITHUB: A POWERFUL PRODUCTIVITY DUO