Skip to content

Remove dead Git code#10084

Merged
thufschmitt merged 1 commit intoNixOS:masterfrom
tweag:remove-dead-git-code
Feb 26, 2024
Merged

Remove dead Git code#10084
thufschmitt merged 1 commit intoNixOS:masterfrom
tweag:remove-dead-git-code

Conversation

@thufschmitt
Copy link
Member

Motivation

Most of the code in git.{cc,hh} is dead, so get rid of it.

Priorities and Process

Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

Most of the code in `git.{cc,hh}` is dead, so get rid of it.
@thufschmitt thufschmitt marked this pull request as ready for review February 26, 2024 10:10
@thufschmitt thufschmitt merged commit c10025d into NixOS:master Feb 26, 2024
@thufschmitt thufschmitt deleted the remove-dead-git-code branch February 26, 2024 18:50
@Ericson2314
Copy link
Member

Ericson2314 commented Feb 26, 2024

Ugh! I have an outstanding PR that we discussed as recently as Friday that uses this and makes it live. This code, while dead, was intentionally merged first for review purposes. Please at least ask before doing this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants