Furthermore you can mix GPL and AGPL licensed code, each part retaining their license. So you can include someone’s GPL code in a new AGPL project (or vice versa). It’s stated in the GPLv3 license under “Use with the GNU Affero General Public License”.