Baunsgaard commented on pull request #1239: URL: https://github.com/apache/systemds/pull/1239#issuecomment-828759763
> Thanks for approving the PR and also for noting the email mix-up. > Do you think it would be a bad idea if I amend my last commit, change the authorship and force push it to my repo? > Could this mess anything up? > Otherwise, I just added my work email to the account. > > cheers, > Bernhard It seems like you solved it , since the commit have been claimed :) -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
