I created a fork of a public repository on BitBucket, with the sole purpose of committing a pull request that fixed some bug. The pull request was accepted and merged. Now, I want to delete the repository, that has outlived its purpose. If I do that, will the changes be lost?

There is already a question about this same issue, but for GitHub. Apparently, on GitHub you can delete the repository before the request has been even merged, as it gets automatically saved in the target repository. I guess that on BitBucket, things will be similar, but I wanted to be sure.


Question: How do I turn off my Raspberry Pi?
Answer: I log into my Pi remotely and here is how I shut it down:


Execute the command:  sudo shutdown -h now
Wait until the LEDs stop blinking on the Pi.
Wait an an additional 5 seconds for good measure (optional).
Switch off the powerstrip that the Pi power supply is plugged into.


Since I use a remote display, I don't necessarily see the final output of the Pi in the command window, which is why I use the activity lights. The non-blinking state of the LEDs is not an absolute indication of a complete successful shutdown but it has worked well enough for me.  HTH