Block or Report
Block or report addicteduser
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
dnd-hp-calc-discordbot
dnd-hp-calc-discordbot PublicDiscord Bot for computing your AL D&D 5e character's hit points, given the Constitution modifier, its classes and levels, and other HP modifiers such as Tough feat or being a Hill Dwarf.
Python 1
-
Git commands
Git commands 1Rename git branch locally and remotely
2git branch -m old_branch new_branch # Rename branch locally
3git push origin :old_branch # Delete the old branch
4git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
5 -
My preferred custom fish shell prompt
My preferred custom fish shell prompt 1function fish_prompt
2printf '%s' (set_color normal) '[' (set_color --bold brgreen) "$USER@$hostname " (set_color normal; set_color green) (echo $PWD | sed -e "s|^$HOME|~|") (set_color normal) ']$ '
3end
45Looks like:
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.