Skip to content

Instantly share code, notes, and snippets.

View yhorbachov's full-sized avatar

Yevhen Horbachov yhorbachov

View GitHub Profile
// Place your key bindings in this file to override the defaults
[
// NAVIGATION
{
"key": "ctrl+l",
"command": "workbench.action.terminal.focusNext",
"when": "terminalFocus"
},
{
"key": "ctrl+h",
@yhorbachov
yhorbachov / private_fork.md
Created February 8, 2023 14:35 — forked from 0xjac/private_fork.md
Create a private fork of a public repository

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

  1. Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git