Quick search by citation:

5 U.S. Code § 10207 - Promotions

(a) In General.—
Each member who is promoted to a higher rank shall receive basic pay at the same step at which such member was being compensated prior to the date of the promotion.
(b) Credit for Service.—
For the purposes of a service step adjustment under section 10205, periods of service at the lower rank shall be credited in the same manner as if it was service at the rank to which the employee is promoted.
Statutory Notes and Related Subsidiaries
Effective Date

Section effective on first day of first pay period which begins after Oct. 15, 2010, see section 5 of Pub. L. 111–282, set out as an Effective Date of 2010 Amendment note under section 5102 of this title.