Think of it this way: The repo[sitory] corresponds to the collaborated work of the team across one or many branches. All contributors have their own copy of it. Each fork of the main repo corresponds to a contributor’s work. A fork is really a Github (not Git) construct to store a clone of the repo … Read more
You can use <pre> to display all spaces & blanks you have typed. E.g.: <pre> hello, this is just an example …. </pre>
You can use the Github Actions upload-artifact and download-artifact to share data between jobs. In job1: steps: – uses: actions/checkout@v1 – run: mkdir -p path/to/artifact – run: echo hello > path/to/artifact/world.txt – uses: actions/upload-artifact@master with: name: my-artifact path: path/to/artifact And job2: steps: – uses: actions/checkout@master – uses: actions/download-artifact@master with: name: my-artifact path: path/to/artifact – run: … Read more
On github, you simply append the w=1 parameter to the URL for it to ignore whitespace. That would look something like: https://github.com/account_name/repo/pull/14/files?w=1
You can use the github api for this. Hitting https://api.github.com/users/USERNAME/repos will list public repositories for the user USERNAME.
As explained in “gitolite: PTY allocation request failed on channel 0”, it is important to do ssh test connection with -T, because some server could abort the transaction entirely if a text-terminal (tty) is requested. -T avoids requesting said terminal, since GitHub has no intention of giving you an interactive secure shell, where you could … Read more
Update: There’s now an automated solution See https://stackoverflow.com/a/66470086/151312 Original Post As of now Github doesn’t have an unfork option, so the only solution is to delete the forked repo. Warning: The following solution will delete your cloned repo. If you want unfork without your repo is being deleted try this https://stackoverflow.com/a/41486339/6335029 Step 1: Goto Settings … Read more
Duplicate your repo. Make the duplicated repo a private one on GitHub. Clone the private repo to your machine Add a remote to your public repo (git remote add public git@github.com:…) Push branches with commits intended for your public repo to that new public remote. (make sure you don’t accidentally commit private-only code) You can … Read more
As of March 2017 using escaped pipes is much easier: \| See other answers. If you remove the backticks (`), using the | hack works a | r ————|—– `a += x;` | r1 a |= y; | r2 and produces the following output Alternatively, you can replace the backticks (`) with a <code></code> markup … Read more
OK, found the answer myself. Adding .patch (or .diff) to the commit-URL will give a nice patch: https://github.com/foo/bar/commit/${SHA}.patch Thanks to Ten Things You Didn’t Know Git And GitHub Could Do…