+ [2019-12-13T19:43:13Z] wkalt maybe your linter runs in circleCI, generates some kind of descriptive json blob, and sends that to github
+ [2019-12-13T19:43:32Z] wkalt any GH people here? has this been considered?
+ [2019-12-14T00:03:05Z] rostam newbie question, I have started a code review from my local branch, pushing into the remote branch and using pull request on github to merge to devel branch, if later I do any changes locally as part of code review and use "git commit --amend" I can not push it to remote branch again, becasue of conflict, the only way that i can do is to force it , i.e git push -f. Is there a way I do not force the push command?
+ [2019-12-14T00:22:39Z] mokha When you apply the --amend option that rewrite the git commit sha1 which means history has changed. If you alter any commit you need to force push to alter the remote branches tree to match your local.
+ [2019-12-14T18:16:57Z] phet Hi, I am trying to set up my website, which is thephet.github.io, I am using jekyll. I bought a domain, juanma.io, and it points to the github website, but it changes the name to the github website, instead of keeping juanma.io

message no. 176388

Posted by mokha in #github at 2019-12-14T00:22:39Z

When you apply the --amend option that rewrite the git commit sha1 which means history has changed. If you alter any commit you need to force push to alter the remote branches tree to match your local.
+ [2019-12-15T08:08:01Z] Mavericks has any one used precommit (https://pre-commit.com/) ? and what's the best way to debug issues with it ? especially the issue where it says
+ [2019-12-15T08:08:21Z] Mavericks :marked executable but has no (or invalid) shebang!
+ [2019-12-15T19:53:22Z] Swahili currently getting `git@github.com: Permission denied (publickey)`; but ssh -vT git@github.com, authenticates
+ [2019-12-15T19:54:00Z] Swahili I've also set the user.name and user.email, the user.email matches the email used in the keygen
+ [2019-12-15T19:55:31Z] Swahili why would this happen? the ssh should fail