Skip to content

Rename paper/ directory to papers/ #177

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
Merged
ednolan merged 1 commit into from
Jan 4, 2026
Merged

Rename paper/ directory to papers/ #177

ednolan merged 1 commit into from
Jan 4, 2026

Conversation

@ednolan
Copy link
Member

@ednolan ednolan commented Jan 4, 2026

This complies with the [directory.papers] Beman Standard rule.

@ednolan
Rename paper/ directory to papers/
97ce876 
This complies with the [directory.papers] Beman Standard rule.
@ednolan ednolan requested a review from camio as a code owner January 4, 2026 19:56
@coveralls
Copy link

coveralls commented Jan 4, 2026

Coverage Status

coverage: 96.606% (+0.009%) from 96.597%
when pulling 97ce876 on enolan_papers1
into eefc2c5 on main.

@ednolan ednolan merged commit 56d1c3f into main Jan 4, 2026
37 checks passed
@ednolan ednolan deleted the enolan_papers1 branch January 4, 2026 19:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@camio camio Awaiting requested review from camio camio is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@ednolan @coveralls