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

Remove heads pointing to missing old refs #17076

Merged
merged 10 commits into from
Oct 8, 2021
Merged

Remove heads pointing to missing old refs #17076

merged 10 commits into from
Oct 8, 2021

Commits on Sep 29, 2021

  1. Git rev-list + function for removing heads

    @99rgosse
    99rgosse committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    ca427c9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into 15155_remove_heads

    @zeripath
    zeripath authored Sep 29, 2021
    Configuration menu
    Copy the full SHA
    d3ed1db View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2021

  1. Merge branch 'main' into 15155_remove_heads

    @zeripath
    zeripath authored Sep 30, 2021
    Configuration menu
    Copy the full SHA
    471114b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into 15155_remove_heads

    @lafriks
    lafriks authored Sep 30, 2021
    Configuration menu
    Copy the full SHA
    96f9598 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2021

  1. Merge branch 'main' into 15155_remove_heads

    @zeripath
    zeripath authored Oct 5, 2021
    Configuration menu
    Copy the full SHA
    6191ec8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into 15155_remove_heads

    @6543
    6543 authored Oct 5, 2021
    Configuration menu
    Copy the full SHA
    6eedab4 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2021

  1. Merge branch 'main' into 15155_remove_heads

    @zeripath
    zeripath authored Oct 6, 2021
    Configuration menu
    Copy the full SHA
    a4180d4 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into 15155_remove_heads

    @zeripath
    zeripath authored Oct 6, 2021
    Configuration menu
    Copy the full SHA
    bdbff89 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2021

  1. Merge branch 'main' into 15155_remove_heads

    @6543
    6543 authored Oct 7, 2021
    Configuration menu
    Copy the full SHA
    7fe8ed0 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2021

  1. Merge branch 'main' into 15155_remove_heads

    @6543
    6543 authored Oct 8, 2021
    Configuration menu
    Copy the full SHA
    32946ab View commit details
    Browse the repository at this point in the history