12:07 <+ddnet-discord> <ChillerDragon> does some1 know how to add a new commit to and exsisting pull request?
12:43 <+ddnet-discord> <worstwish> https://stackoverflow.com/questions/10147445/github-adding-commits-to-existing-pull-request
14:14 <+ddnet-discord> <cinaera> you just commit the branch of the PR
14:45 <+ddnet-discord> <ezy> https://stackoverflow.com/questions/10147445/github-adding-commits-to-existing-pull-request
14:45 <+ddnet-discord> <Savander> ezy...
14:46 <+ddnet-discord> <ezy> What
14:46 <+ddnet-discord> <Savander> are you checking previous messages?
14:46 <+ddnet-discord> <ezy> Y
14:46 <+ddnet-discord> <Savander> 😃
14:46 <+ddnet-discord> <ezy> Even copied the link
14:46 <+ddnet-discord> <ezy> :thonkery:
14:46 <+ddnet-discord> <Savander> for what?
14:46 <+ddnet-discord> <Savander> :/
14:46 <+ddnet-discord> <ezy> For sending it again
14:47 <+ddnet-discord> <ezy> So every1 knows
14:47 <+ddnet-discord> <Savander> Why would you do that?
14:47 <+ddnet-discord> <ezy> So every1 knows
14:47 <+ddnet-discord> <Savander> But everyone sees that link, no need to spam with it
14:47 <+ddnet-discord> <ezy> :f4:
14:50 <+ddnet-discord> <cinaera> you just commit to the branch of the PR
18:08 <+ddnet-discord> <ChillerDragon> bors spammer :banhammer:
18:15 < ddnet-commits> [ddnet] bors[bot] merged staging into master: https://git.io/vNkQf