I'd recommend spending just a tad more (when on sale) and go for the WD Blue, it's true that the Green isn't slow by any respectable modern standards, but the Blue (manufactured on TLC 3D NAND as opposed to SLC) is more bang for buck given the large jump in sequential reads and writes (arguably far more important on an OS drive than purely data, where they both perform similarly), and it lasts longer in total write lifetime.
Of course, if the drive will be used for extremely basic needs and the price is right / money tight, you can absolutely go for it. I only wouldn't vouch from the likes of Adata, Kingmax, Patriot, Kingston etc. as they seem to spend less on quality control despite using standard chips.
I personally roll with Samsung Evo's these days for a while now, but the WD Drives have really come a long way since the SanDisk acquisition for their price.