All public logs

Combined display of all available logs of Mike's wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 12:46, 5 January 2023 Mike talk contribs created page Git tricks (Created page with "# getting difference ## From last pull $ git diff HEAD $ git diff @~ ## between now and previuos release $ git diff --name-status HEAD~1..HEAD # Resetting - remove all changes. $ git reset --hard") Tag: Visual edit: Switched