477d8f7
Build the URL to the user's page by hand instead of relying on flask This is most useful for when adding a comment to a PR/ticket via a hook action.