| # If you don't remember the exact path/name, search the log for deleted files | |
| git log --diff-filter=D --summary | grep delete | |
| # Find the file you want to get from the ouput, and use the path | |
| # Find the commits that involved that path | |
| git log --all -- some/path/to/deleted.file | |
| # Bring the file back to life to the current repo (sha commit of parent of commit that deleted) | |
| git checkout shaofthecommitthatdeletedthefile^ -- some/path/to/deleted.file |
| LEFT PARENTHESIS (U+0028, Ps): ( | |
| RIGHT PARENTHESIS (U+0029, Pe): ) | |
| LEFT SQUARE BRACKET (U+005B, Ps): [ | |
| RIGHT SQUARE BRACKET (U+005D, Pe): ] | |
| LEFT CURLY BRACKET (U+007B, Ps): { | |
| RIGHT CURLY BRACKET (U+007D, Pe): } | |
| LEFT-POINTING DOUBLE ANGLE QUOTATION MARK (U+00AB, Pi): « | |
| RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK (U+00BB, Pf): » | |
| TIBETAN MARK GUG RTAGS GYON (U+0F3A, Ps): ༺ | |
| TIBETAN MARK GUG RTAGS GYAS (U+0F3B, Pe): ༻ |
The list would not be updated for now. Don't write comments.
The count of contributions (summary of Pull Requests, opened issues and commits) to public repos at GitHub.com from Wed, 21 Sep 2022 till Thu, 21 Sep 2023.
Because of GitHub search limitations, only 1000 first users according to amount of followers are included. If you are not in the list you don't have enough followers. See raw data and source code. Algorithm in pseudocode:
githubUsers
| <?xml version="1.0" encoding="utf-8" ?> | |
| <nlog xmlns="http://www.nlog-project.org/schemas/NLog.xsd" | |
| xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> | |
| <targets> | |
| <target name="coloredConsole" xsi:type="ColoredConsole" useDefaultRowHighlightingRules="false" | |
| layout="${longdate}|${pad:padding=5:inner=${level:uppercase=true}}|${message}" > | |
| <highlight-row condition="level == LogLevel.Debug" foregroundColor="DarkGray" /> | |
| <highlight-row condition="level == LogLevel.Info" foregroundColor="Gray" /> | |
| <highlight-row condition="level == LogLevel.Warn" foregroundColor="Yellow" /> |