Skip to content

Tags: src-d/hercules

Tags

v10.7.2

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #343 from vmarkovtsev/master

Add --renames-timeout

v10.7.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #341 from vmarkovtsev/master

Add exact signature id matching

v10.7.0

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #339 from vmarkovtsev/master

Change --imports-per-dev to return imports through time

v10.6.3

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #336 from vmarkovtsev/master

Include mingw libs into the Windows release

v10.6.2

v10.6.2

Signed-off-by: Vadim Markovtsev <vadim@athenian.co>

v10.6.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #332 from vmarkovtsev/master

Add siva ref fallback

v10.6.0

v10.6.0

Signed-off-by: Vadim Markovtsev <vadim@sourced.tech>

v10.5.3

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #326 from vmarkovtsev/master

Limit the file name length

v10.5.2

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #321 from vmarkovtsev/master

Fix the --devs shape edge case

v10.5.1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #319 from vmarkovtsev/master

Fix merging --devs