Skip to content

Proposal: Merge docs into this repo #2865

Closed
@techknowlogick

Description

@techknowlogick

This is a thought I have had (as well as it has been mentioned in discord by others), but perhaps the docs repo should be merged into this repo.

Some pros of this:

  • When submitting PRs, devs can submit docs in same commit (this reduces friction for su
  • An extra step to drone can happen on merges that autobuild and push docs (to keep them fresh)

I'd be open to making a PR for this, however my (simple) approach would be to create a docs folder, and just dump a copy of HEAD into it, this may lose history though.

Metadata

Metadata

Assignees

No one assigned

    Labels

    type/docsThis PR mainly updates/creates documentationtype/proposalThe new feature has not been accepted yet but needs to be discussed first.

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions