Remove File#2
Remove File#2skarauser[bot] merged 1 commit intoElshout:integration/2/masterfrom TheShermanTanker:remove
Conversation
|
@TheShermanTanker This change now passes all automated pre-integration checks. After integration, the commit message for the final commit will be: You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been no new commits pushed to the ➡️ To integrate this PR with the above commit message to the |
|
/integrate |
|
Going to push as commit eda8c48. |
|
@TheShermanTanker Pushed as commit eda8c48. 💡 You may see a message that your pull request was closed with unmerged commits, or merged into a different branch. |
|
/integrate |
|
@TheShermanTanker The command |
|
/open |
|
@TheShermanTanker The command |
Remove File
Progress
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://github.com/Elshout/Sandbox pull/2/head:pull/2$ git checkout pull/2Update a local copy of the PR:
$ git checkout pull/2$ git pull https://github.com/Elshout/Sandbox pull/2/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 2View PR using the GUI difftool:
$ git pr show -t 2Using diff file
Download this PR as a diff file:
https://github.com/Elshout/Sandbox/pull/2.diff