-
Notifications
You must be signed in to change notification settings - Fork 110
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
Remove unnecessary document file #1388
base: main
Are you sure you want to change the base?
Remove unnecessary document file #1388
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@aleksdmladenovic Could you rebase this one?
+@SchahinRohani +@MarcusSorealheis
Reviewable status: 0 of 2 LGTMs obtained, and 0 of 1 files reviewed, and pending CI: NativeLink.com Cloud / Remote Cache / macos-14, NativeLink.com Cloud / Remote Cache / ubuntu-24.04, windows-2022 / stable (waiting on @MarcusSorealheis and @SchahinRohani)
Unnecessary document file of `introduction/contributors.mdx` is now removed.
900959e
to
3eb82b1
Compare
Rebased changes. cc: @aaronmondal, @SchahinRohani, @MarcusSorealheis |
Description
Unnecessary document file of
introduction/contributors.mdx
is now removed.Fixes #1387
Type of change
Checklist
bazel test //...
passes locallygit amend
see some docsThis change is