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.

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

Point better-defaults to emacsmirror #2913

Merged
merged 1 commit into from
Oct 20, 2023
Merged

Conversation

alexg0
Copy link
Contributor

@alexg0 alexg0 commented Oct 19, 2023

Point better-defaults to emacsmirror since upsteam disappared

Point better-defaults to emacsmirror since upsteam disappared
@alexott alexott merged commit a5ba585 into dimitri:master Oct 20, 2023
7 checks passed
@alexg0 alexg0 deleted the patch-4 branch October 20, 2023 18:49
vedang added a commit to vedang/el-get that referenced this pull request Jan 23, 2024
* track-upstream:
  Point better-defaults to emacsmirror (dimitri#2913)
vedang added a commit to vedang/el-get that referenced this pull request Jan 23, 2024
* track-upstream:
  Point better-defaults to emacsmirror (dimitri#2913)
takaxp pushed a commit to takaxp/el-get that referenced this pull request Jun 17, 2024
Point better-defaults to emacsmirror since upsteam disappared
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants