> Yup, I do not know offhand who are managing these descriptions, but > having extra moniker in the same [square bracket] as PATCH is a more > common practice, and we should follow suit. Ok, thanks! I just created a PR in git.github.io <http://git.github.io/> replacing the mentions of `[GSoC][PATCH]` by `[GSoC PATCH]`: https://github.com/git/git.github.io/pull/756
