github question: pull requests

General discussion about LÖVE, Lua, game development, puns, and unicorns.
Post Reply
User avatar
togFox
Party member
Posts: 828
Joined: Sat Jan 30, 2021 9:46 am
Location: Brisbane, Oztralia

github question: pull requests

Post by togFox »

Checking if it's possible, via github scripts or whatever they are called, to ensure every pull request has a specific file?

I'm about to embark on a new community project using github and I'd like to automatically reject a PR that doesn't have a change log (file - not in the PR body) included in it. I use the github browser/web page only - if that matters.

Possible?
Last project:
https://togfox.itch.io/hwarang
A card game that brings sword fighting to life.
Current project:
Idle gridiron. Set team orders then idle and watch: https://togfox.itch.io/idle-gridiron
User avatar
pgimeno
Party member
Posts: 3674
Joined: Sun Oct 18, 2015 2:58 pm

Re: github question: pull requests

Post by pgimeno »

I don't know if it's possible, it probably isn't - and I'm not on Github, but even if I were, I would be discouraged by such policy. Commit messages are there for that exact purpose; changelogs are a pain to manage.
User avatar
dusoft
Party member
Posts: 655
Joined: Fri Nov 08, 2013 12:07 am
Location: Europe usually
Contact:

Re: github question: pull requests

Post by dusoft »

Github commit comment+description are your changelogs. You are trying to scratch your left ear with your right hand doing this in your manner of "changelogs".
Post Reply

Who is online

Users browsing this forum: No registered users and 3 guests