Question

var Agda = require("agda");

var code = `
    data Bool: Set where
        true: Bool
        false: Bool

    not : Bool -> Bool
    not true = false
    not false = true

    val : Bool
    val = not true
`;

console.log(Agda.infer(code, "true")); // prints "Bool"
console.log(Agda.normalize(code, "val")); // prints "false"

致命：模棱两可的参数'develop'：未知的修订或路径不在工作树中。使用“-”将路径与修订分开，如下所示： 'git [...]-[...]'

第一个分支是我的本地分支，其中包含我的代码更改；第二个分支是远程分支，每天将部署到UAT；

我想要的是获取本地分支之间的差异，并开发分支并将文件自动修补到UAT中。

创建一个请求请求时，我可以从Stash门户获取差异，但是我想从命令行获取它，以便我可以编写一些脚本来获取差异文件并将其一键修补到UAT中。

Answer 1

git diff feature/C161920-5075-xtp-implementation-of-new-fidessa develop --

Answer 2

如果您要引用的develop是本地分支的名称，则可以使用此命令来消除歧义：

git diff feature/C161920-5075-xtp-implementation-of-new-fidessa refs/heads/develop。

Answer 3

这对我有用。

git fetch origin;

git diff --name-only origin/develop...feature/C161920-5075-xtp-implementation-of-new-fidessa;

为什么在git diff之后会有这样的错误？

3 个答案: