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

Proof Beginners Series Guide #544

Open
wants to merge 1 commit into
base: user_group_guide
Choose a base branch
from

Conversation

GrooveCS
Copy link

@GrooveCS GrooveCS commented Dec 19, 2024

Good afternoon @bennyvasquez,
I’ve been going through some of the documentation you put together for beginners, and I’ve got a few edits I’d like to propose after giving it a good proofread. Feel free to take or leave any of my suggestions—or tweak them if you see a better way.

While I was at it, I tested out coding with a fork, making edits in Codespaces, and running tests—all without installing anything locally. It worked like a charm! I think we should include instructions on using Codespaces and other online editors for editing the wiki. What do you think?

Happy Holidays, P-)

@codyro
Copy link
Member

codyro commented Dec 20, 2024

I think we should include instructions on using Codespaces and other online editors for editing the wiki. What do you think?

Absolutely! I'd maybe hold off on adding too much content surrounding that in the immediate as I know @alaurie was looking to potentially setup a devcontainer for the wiki after the primary website--which is perfect as it can be used within codespaces for a reproducible dev environment :).

@alaurie if you're busy I can bootstrap it and make a PR/have you review it. Let me know :).

@alaurie
Copy link
Contributor

alaurie commented Dec 20, 2024

@codyro if you want to that would be good. I'm pretty strapped with Christmas stuff for at least a couple of days at the moment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants