Do the instructions for using IR on GrovePi also work for the GoPiGo? In other words, do I connect my IR sensor to the serial port on the GoPiGo board and then use the Python library to receive the IR signals? I understand that this port uses the UART pins on the RasPi (GPIO 14 and GPIO 15), right?

Both of the libraries treat the same subject, only that the one from the GoPiGo has been revised. You can adapt them to anything you want (GrovePi, GoPiGo, GoPiGo3, etc).

This is also a duplicate of IR sensor, so I suggest we keep the discussion on the other thread.

Thank you!