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

Update command to point to dev DB #3300

Merged
merged 1 commit into from Nov 7, 2023
Merged

Update command to point to dev DB #3300

merged 1 commit into from Nov 7, 2023

Conversation

mathemancer
Copy link
Contributor

Tiny change to correct an error in the developer guide.

Previously, the command in question was advising devs to try to connect to an unused dependency database rather than the actual dev database.

Checklist

  • My pull request has a descriptive title (not a vague title like Update index.md).
  • My pull request targets the develop branch of the repository
  • My commit messages follow best practices.
  • My code follows the established code style of the repository.
  • I added tests for the changes I made (if applicable).
  • I added or updated documentation (if applicable).
  • I tried running the project locally and verified that there are no
    visible errors.

Developer Certificate of Origin

Developer Certificate of Origin
Developer Certificate of Origin
Version 1.1

Copyright (C) 2004, 2006 The Linux Foundation and its contributors.
1 Letterman Drive
Suite D4700
San Francisco, CA, 94129

Everyone is permitted to copy and distribute verbatim copies of this
license document, but changing it is not allowed.


Developer's Certificate of Origin 1.1

By making a contribution to this project, I certify that:

(a) The contribution was created in whole or in part by me and I
    have the right to submit it under the open source license
    indicated in the file; or

(b) The contribution is based upon previous work that, to the best
    of my knowledge, is covered under an appropriate open source
    license and I have the right under that license to submit that
    work with modifications, whether created in whole or in part
    by me, under the same open source license (unless I am
    permitted to submit under a different license), as indicated
    in the file; or

(c) The contribution was provided directly to me by some other
    person who certified (a), (b) or (c) and I have not modified
    it.

(d) I understand and agree that this project and the contribution
    are public and that a record of the contribution (including all
    personal information I submit with it, including my sign-off) is
    maintained indefinitely and may be redistributed consistent with
    this project or the open source license(s) involved.

@mathemancer mathemancer self-assigned this Nov 7, 2023
@mathemancer mathemancer added the pr-status: revision A PR awaiting follow-up work from its author after review label Nov 7, 2023
@mathemancer
Copy link
Contributor Author

I'll assign for review once I hear back from the dev with the issue.

@mathemancer mathemancer requested review from seancolsen and Anish9901 and removed request for seancolsen November 7, 2023 06:31
@mathemancer mathemancer assigned Anish9901 and unassigned mathemancer Nov 7, 2023
@mathemancer mathemancer added the pr-status: review A PR awaiting review label Nov 7, 2023
@mathemancer mathemancer modified the milestones: Backlog, v0.1.4 Nov 7, 2023
@mathemancer mathemancer assigned pavish and unassigned Anish9901 Nov 7, 2023
@mathemancer mathemancer removed the request for review from Anish9901 November 7, 2023 06:32
@Anish9901 Anish9901 added this pull request to the merge queue Nov 7, 2023
Merged via the queue into develop with commit 3291629 Nov 7, 2023
32 checks passed
@Anish9901 Anish9901 deleted the fix_dev_guid branch November 7, 2023 06:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-status: review A PR awaiting review pr-status: revision A PR awaiting follow-up work from its author after review
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

3 participants