San Francisco regular city employees on May 1