After you commit your changes to the head branch of the pull request you can push your changes up to the original pull request directly. In this example, the head branch istest-branch: $ git push origintest-bra
After you commented on the user, I made some changes to see if it would solve the problem. Here are the changes I made in the Gitea action I changed the email and name of the user before the commit. git config --global user.name "myotheruser" git config --global user.email "myoth...
#Get your project's version (instead of Commitizen's version)cz version -p#Preview changelog changescz changelog --dry-run"$(cz version -p)" This command is particularly useful for automation scripts and CI/CD pipelines. For example, you can use the output of the commandcz changelog --dry...
After you commit your changes to the head branch of the pull request you can push your changes up to the original pull request directly. In this example, the head branch istest-branch: $git push origin test-branch>Counting objects: 32,done.>Delta compression u...
After you commit your changes to the head branch of the pull request you can push your changes up to the original pull request directly. In this example, the head branch istest-branch: $git push origin test-branch>Counting objects: 32,done.>Delta compression using up to 8 threads.>Compres...
My current use-case just touches the terminal (bash, git push in terminal) so what I do is just export SSH_AUTH_SOCK=/tmp/ssh-(one of the existing socks). I'm guessing a solution would be to not allow the vscode server to keep running outside an active SSH connection. I understand...
unset VERILATOR_ROOT # if your shell is bash unsetenv VERILATOR_ROOT # if your shell is csh # For the tarball, use the version number instead of git describe ./configure --prefix /CAD_DISK/verilator/`git describe | sed "s/verilator_//"` After installing you'll want a module file...
git a/docusaurus/docs/reference/plutus-language-changes.md b/doc/docusaurus/docs/reference/plutus-language-changes.md similarity index 100% rename from docusaurus/docs/reference/plutus-language-changes.md rename to doc/docusaurus/docs/reference/plutus-language-changes.md diff --git a/docusaurus/docs/...