search

agarwal-anjali / pe

0 stars 0 forks source link

Prefix alias for `github` is missing in the `Prefix Aliases` section of the User Guide #9

Open agarwal-anjali opened 1 year ago

agarwal-anjali commented 1 year ago

The prefixes to add/set github attribute for a person is not included in the Prefix Aliases section of the User Guide. Although a user can identify the prefix for github by going through the examples for commands it must be still mentioned in the Prefix Aliases table for consistency and ease of the user.

image.png

nus-pe-bot commented 1 year ago

Your response not required for this bug as the team has accepted the bug as it is.