Skip to content

feat: Add github collaboration script and workflow documentation #987

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

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Conversation

jalvesz
Copy link
Contributor

@jalvesz jalvesz commented Apr 23, 2025

This script is a proposal to ease the setup of another person's branch in order to help with open PRs.

The script is currently placed within the .github folder as it is specific to the github hosting. But it also be in config. I've added a diagram in the WORKFLOW.md file to try to explain the process.

cc: @perazz @jvdp1 @ivan-pi

Copy link
Member

@jvdp1 jvdp1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @jalvesz . Simple script, but indeed, it could be quite helpful for developers that are less familiar with git/github.

Copy link
Member

@jvdp1 jvdp1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Only a minor suggestion. Thank you @jalvesz

Co-authored-by: Jeremie Vandenplas <jeremie.vandenplas@gmail.com>
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.

2 participants