testing new github interface for pull request, and better error handling for auth

clear session and redirect if user not found