search

wenqili / knowtebook

0 stars 0 forks source link

Don’t amend a git comment after it’s already pushed #14

Open wenqili opened 5 years ago

wenqili commented 5 years ago

Or it will throw out an issue.

To fix this, reset to the last push, and reapply all the changes.