search

Skydio / revup

Effortlessly create and manage pull requests without changing branches. Powers a stacked diffs workflow with python and git "plumbing" commands.
https://github.com/Skydio/revup
MIT License
309 stars 59 forks source link

github: Don't match a user unless the prefix is correct #147

Closed jerry-skydio closed 6 months ago

jerry-skydio commented 6 months ago

This fixes a longstanding annoying issue where github queries users based on any match within username, whereas generally people don't intend to use it this way.

When picking a valid user match, require the prefix to match the stated query in addition to looking for the minimum size.

jerry-skydio commented 6 months ago

Reviews in this chain: └https://github.com/Skydio/revup/pull/147 github: Don't match a user unless the prefix is correct

jerry-skydio commented 6 months ago
# head base diff date summary
0 4d70fb4f e43bfcfa diff Mar 7 16:16 PM 1 file changed, 3 insertions(+), 3 deletions(-)
1 0ea3dc42 9983f3e0 diff Mar 7 16:28 PM 1 file changed, 8 insertions(+)
2 5d71794d 9983f3e0 diff Mar 7 16:29 PM 1 file changed, 3 insertions(+), 1 deletion(-)