Hello! After spending many development hours in my past years running on Virtualbox/Vagrant-style setups, I've decided to take the plunge into learning Docker, and after getting a few containers working, I'm now looking to figure out how to deploy this to production. I'm not a DevOps or infrastructure guy, my bread and butter is software, and although I've become significantly better at deploying & provisioning Linux VPS's, I'm still not entirely confident in my ability to deploy & manage such systems at scale and in production. But, I am now close to running my own business, so these requirements are suddenly going from "nice to have" to "critical".

As I mentioned, in the past when I've previously developed applications that have been pushed onto the web, I've tended to develop on my local machine, often with no specific configuration environment. If I did use an environment, it'd often be a Vagrant VM instance. From here, I'd push to GitHub, then from my VPS, pull down the changes, run any deployment scripts (recompile, restart nginx, etc), and I'm done.

I guess what I'm after with Docker is something that's more consistent between dev, testing, & prod, and is also more hands off in the deployment process. Yet, what I'm currently developing still does have differing configuration needs between dev and prod. For example, I'd like to use a hosted DB solution such as DigitalOcean Managed Databases in production, yet I'm totally fine using a Docker container for MySQL for local development. Is something like this possible? Does anyone have any recommendations around how to accomplish this, any do's and dont's, or any catches that are worth mentioning?

How about automating deployment from GitHub to production? I've never touched any CI/CD tools in my life, yet I know it's a hugely important part of the process when dealing with software in production, especially software that has clients dependent on it to function. Does anything specifically work well with Docker? Or GitHub? Ideally I want to be avoiding manual processes where I have to ssh in, and pull down the latest changes, half-remembering the commands I need to write to recompile and run the application again.

Disclaimer: I will not make any money off of this sale. I am just asking for my old boss with whom I built this company. Even though I don't work there and have no stake, I just want to solicit the best advice on her behalf. I can give more details via a PM as she doesn't want to spread the word yet.

The business is a vacation rental company located in a premier resort town in the USA. It has existed since before airbnb was even a thing. The business is very profitable and technologically self-reliant. She has spent a decent amount on technology so that there aren't multiple outsiders taking a slice of each rental. I can provide the rough numbers via PM. The SEO is already #1 in the market. The company owns its office building, and multiple vacation rentals which could be packaged in with the sale.

It is the largest vacation rental company in the local vicinity, so selling to a direct competitor doesn't seem likely. It would seem to be the ideal sale/purchase for someone who is wealthy and is looking to retire early, live in a tropical setting, make money, and still have something to do. However, maybe contacting the larger, more corporate vacation rental businesses on the mainland would be the best option?

Google searches for this are an SEO disaster which is why I am asking here. Are business brokers necessary for something like this? It is so niche that I really just don't know what to look for. Any feedback would be appreciated.

Edit: to add, it is completely turn-key. Everything could be left as it is, with all current employees. Aside from executive decisions the only thing that the owner did, since we scaled to dominate the local market, was write the ad copy because she is really good at that. She only physically spent a couple months of the year there in the last few years. The only reason she is considering selling is due to aging-out.

It looks like a super light week, so feel extra free to mention them here!

Here's a list of a things that came out in this past week, up through Friday. Of course, there's no way to be completely comprehensive with this and we avoided including things where information was too lacking, so feel free to mention anything that isn't on here that you think is worth mentioning. Beyond that, if you have any thoughts of any of these albums, it would be great to hear them :)

Notes:
If you spot any mistakes, let us know.
Parental Advisory version of all albums linked, so expect NSFW.

Andhim - Duno EP | Song.link says Single but it's the EP.
DAGames - Pizza Puppet Panic | No song.link yet. Linked DAGame's YouTube where most of the tracks can be found.
Jaden - ERYS | Deluxe version linked.
Lou the Human - Painkiller Paradise | No song.link yet. Linked Soundcloud instead.

Thank you to @Cleb, @cfabbro, and @Bauke!