Page MenuHomeFreeBSD

git-ghpr: A script to land github pull requests
Needs ReviewPublic

Authored by imp on May 9 2023, 4:45 PM.
Tags
None
Referenced Files
F154254989: D40023.id.diff
Mon, Apr 27, 10:37 AM
F154238193: D40023.diff
Mon, Apr 27, 8:22 AM
Unknown Object (File)
Thu, Apr 23, 11:47 AM
Unknown Object (File)
Sun, Apr 19, 5:58 AM
Unknown Object (File)
Sat, Apr 18, 9:22 AM
Unknown Object (File)
Mar 26 2026, 5:54 AM
Unknown Object (File)
Feb 21 2026, 11:12 AM
Unknown Object (File)
Jan 5 2026, 9:03 PM

Details

Summary

Sponsored by: Netflix

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 51399
Build 48290: arc lint + arc unit

Event Timeline

imp requested review of this revision.May 9 2023, 4:45 PM
imp created this revision.
tools/tools/git/git-ghpr
206

I guess "Reviewed by: imp" shouldn't be hard-coded? :)

tools/tools/git/git-ghpr
206

also perhaps some commentary on $HOME/bin/git-fixup-editor

tools/tools/git/git-ghpr
206

ah, yea, likely shouldn't be hard coded.
And git-fixup=editor likely should be included here as well.

#!/bin/sh

# Takes 1 arg, the file to edit

fn=$1
dir=$(mktemp -d gfe-XXXXXXXXXXXX)
ofn=$dir/msg

trap "rm -rf $dir" EXIT

sed -e 's/^Reviewed-by:/Reviewed by:/;
        s/^Pull-Request:/Pull Request:/;
        s/^Differential-Revision:/Differential Revision:/' < $fn > $ofn && mv $ofn $fn

is what it does.

This gets back to a point I'd like to raise: We should ditch the 'metadata with spaces' thing and move to more-standard metadata so that the git commit --trailer stuff can be used in the tooling.

This gets back to a point I'd like to raise: We should ditch the 'metadata with spaces' thing and move to more-standard metadata

Yes, I'm fine with us updating the commit template, handbook etc. (and adding a note that metadata used to use spaces). I created D40025 for the commit template.