Skip to content

Migrating #discord-bots pins to the site #695

Closed

Description

@Shom770

This issue is for the ongoing project to migrate all the pinned messages in #discord-bots to the website under the guides.

Pins to be Migrated

If any of the pins below are checked off (checkmark next to the pin), a pull request has already been opened for that pin, and the pull request will be linked.

Additional Topics

The following topics below are additional topics that can be added to the site, regarding discord bots.

Tags

Per request, we also want to scope the addition of new tags as part of this project.
These tags should follow the same traditional pattern as any other tag that we would add.
They should mostly cover common "pitfalls" or "gotchas" or any other very common topic that would benefit from a tag, as everything else (like a getting started guide)
is covered both in discord.py's documentation and our own site resources. Below are a few to start off with:

If anybody has any more ideas, please feel free to leave them in the comments below.
If you'd like to work on any of then, mention @Robin5605 with which one you want to take on.

Helping with the migration of pin(s)

If anyone wants to help migrate a pin, you would want to create a markdown file here within pydis_site/apps/content/resources/guides/python-guides, with a structure along the lines of:

---
title: Guide Title
description: Guide Description
---
# Pin content goes here

Please read this guide on how to contribute a page.

Activity

  1. self-assigned this
    on Jul 29, 2022
  2. sue-m-oh commented on Nov 21, 2022

    @sue-m-oh
    Contributor
  3. Robin5605 commented on Nov 21, 2022

    @Robin5605
    Contributor
  4. Robin5605 commented on Dec 26, 2022

    @Robin5605
    Contributor

    Hello! So the main goal of the project is complete. All the pins linked here have been migrated to site. The only ones left are the "additional topics" (#702 and #703).
    Can we consider this project to be complete, or do we want to include the additional topics section as part of the project as well?
    Thanks!

  5. Robin5605 commented on Feb 6, 2023

    @Robin5605
    Contributor

    Updated original comment with the new "Tags" section which has been scoped as part of this project

  6. salty-tree commented on Feb 9, 2023

    @salty-tree
    Contributor

    Can I make a page on using cogs/extensions?

  7. jchristgit commented on Mar 10, 2023

    @jchristgit
    Contributor

    Can we consider this project to be complete, or do we want to include the additional topics section as part of the project as well?

    Let's keep it open until we have those two PRs merged. I think we should have that done soon 🙂

  8. jchristgit commented on Mar 10, 2023

    @jchristgit
    Contributor

    Can I make a page on using cogs/extensions?

    @n0Oo0Oo0b Personally I'm not opposed to it but I believe it would be better to discuss in a new issue, as this one is mainly related to migrating existing content. Could you open one?

  9. Xithrius commented on Jun 10, 2023

    @Xithrius
    Contributor

    Two previously mentioned PRs have been merged, along with everything else listed in the main comment of this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions