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

Use nearest relevant commit id based on path filters (fixes #643) #662

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

Use nearest relevant commit id based on path filters (fixes #643) #662

wants to merge 3 commits into from

Commits on Sep 24, 2021

  1. Make it easier to debug GitObjectId instances.

    @tg73
    tg73 committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    e129c7c View commit details
    Browse the repository at this point in the history

  2. Work in progress: 

    - Height calculations now keep track of nearest relevant commit (managed only for now).
- VersionOracle uses the nearest relevant commit.
    @tg73
    tg73 committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    7a99e3c View commit details
    Browse the repository at this point in the history

  3. Replace comment removed by mistake.

    @tg73
    tg73 committed Sep 24, 2021
    Configuration menu
    Copy the full SHA
    3d0d77b View commit details
    Browse the repository at this point in the history