I would pick Shimano because I like the shifters better. Double tap only allows shifting one gear down at a time per throw, whereas Shimano allows 2 or 3 depending on the generation of shifter.

In the real world, this might not matter, although I am used to Shimano, and so it'd be a strange transition to move to SRAM.

I do not think that there are any quality differences at all, so it really comes down to preference (and weight as mentioned above)