Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

./koch drnim: git checkout ... fails (invalid git hash) #15639

Closed
timotheecour opened this issue Oct 19, 2020 · 0 comments · Fixed by #15640
Closed

./koch drnim: git checkout ... fails (invalid git hash) #15639

timotheecour opened this issue Oct 19, 2020 · 0 comments · Fixed by #15640
Labels
Tools

Comments

@timotheecour
Copy link
Member

timotheecour commented Oct 19, 2020 •
edited
Loading

./koch drnim: git checkout ... fails (invalid git hash)

Example

./koch drnim

Current Output

./koch drnim
git clone https://github.com/zevv/nimz3.git dist/nimz3
Cloning into 'dist/nimz3'...
remote: Enumerating objects: 22, done.
remote: Counting objects: 100% (22/22), done.
remote: Compressing objects: 100% (16/16), done.
remote: Total 202 (delta 4), reused 17 (delta 4), pack-reused 180
Receiving objects: 100% (202/202), 83.02 KiB | 2.37 MiB/s, done.
Resolving deltas: 100% (65/65), done.
git clone -q https://github.com/Z3Prover/z3.git dist/z3
git fetch
git checkout 65de3f748a6812eecd7db7c478dcd5fc54424d368b
error: pathspec '65de3f748a6812eecd7db7c478dcd5fc54424d368b' did not match any file(s) known to git
FAILURE

Expected Output

works

Additional Information

devel 1.5.1 66cd9c2
@timotheecour timotheecour changed the title /koch drnim: git checkout ... fails (invalid git hash) ./koch drnim: git checkout ... fails (invalid git hash) Oct 19, 2020
@timotheecour timotheecour mentioned this issue Oct 19, 2020
Open
Clyybber added a commit to Clyybber/Nim that referenced this issue Oct 19, 2020
@Clyybber
Fix nim-lang#15639
56fee97
@Clyybber Clyybber mentioned this issue Oct 19, 2020
Merged
Clyybber added a commit that referenced this issue Oct 19, 2020
@Clyybber
Fix #15639 (#15640)
0f4b1ed
narimiran pushed a commit that referenced this issue Oct 21, 2020
@Clyybber @narimiran
Fix #15639 (#15640)
893dab4 
(cherry picked from commit 0f4b1ed)
mildred pushed a commit to mildred/Nim that referenced this issue Jan 11, 2021
@Clyybber @mildred
Fix nim-lang#15639 (nim-lang#15640)
fe0f206
irdassis pushed a commit to irdassis/Nim that referenced this issue Mar 16, 2021
@Clyybber @irdassis
Fix nim-lang#15639 (nim-lang#15640)
dcc29d2
ardek66 pushed a commit to ardek66/Nim that referenced this issue Mar 26, 2021
@Clyybber @ardek66
Fix nim-lang#15639 (nim-lang#15640)
1e22552
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Tools
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix #15639 Clyybber/Nim
1 participant
@timotheecour